A type system for checking consistencies of a policy specification used in ubiquitous programming environment
- Title
- A type system for checking consistencies of a policy specification used in ubiquitous programming environment
- Author
- 도경구
- Issue Date
- 2007-11
- Publisher
- IEEE
- Citation
- 2007 International Conference on Convergence Information Technology (ICCIT 2007), Page. 444-449
- 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.
- URI
- https://ieeexplore.ieee.org/document/4420299https://repository.hanyang.ac.kr/handle/20.500.11754/107272
- ISBN
- 0-7695-3038-9
- DOI
- 10.1109/ICCIT.2007.260
- Appears in Collections:
- COLLEGE OF COMPUTING(소프트웨어융합대학)[E] > COMPUTER SCIENCE(소프트웨어학부) > Articles
- Files in This Item:
There are no files associated with this item.
- Export
- RIS (EndNote)
- XLS (Excel)
- XML