A type system for checking consistencies of a policy specification used in ubiquitous programming environment
- Authors
- Choi, Ki hwan; Jeong, Hye Ryeong; Doh, Kyung goo; Ahn, Joonseon; Chang, Byeong mo
- Issue Date
- Nov-2007
- Publisher
- IEEE
- Citation
- International Conference on Convergence Information Technology(ICCIT 2007), pp.444 - 449
- Indexed
- OTHER
- Journal Title
- International Conference on Convergence Information Technology(ICCIT 2007)
- Start Page
- 444
- End Page
- 449
- URI
- https://scholarworks.bwise.kr/erica/handle/2021.sw.erica/43291
- DOI
- 10.1109/ICCIT.2007.260
- Abstract
- The high-level policy description language used for ubiquitous programming framework specifies context entity relations, as well as context-based access control and adap- tation rules. Then the specification in the policy description language is translated into the code in a general-purpose language, which is to be used in ubiquitous environment. However, the inconsistencies and errors in the policy spec- ification are all passed into the translated code, potentially resulting disastrous malfunction. This paper introduces a type system that checks the consistency of a policy spec- ification so that the specification is free from type-related errors and inconsistencies.
- Files in This Item
-
Go to Link
- Appears in
Collections - COLLEGE OF COMPUTING > SCHOOL OF COMPUTER SCIENCE > 1. Journal Articles
![qrcode](https://api.qrserver.com/v1/create-qr-code/?size=55x55&data=https://scholarworks.bwise.kr/erica/handle/2021.sw.erica/43291)
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.