상세 보기
A type system for checking consistencies of a policy specification used in ubiquitous programming environment
- Choi, Ki-Hwan;
- Jeong, Hye-Ryeong;
- Doh, Kyung-Goo;
- Ahn, Joonseon;
- Chang, Byeong-Mo
Citations
WEB OF SCIENCE
0Citations
SCOPUS
0초록
The high-level policy description language used for ubiquitous programming framework specifies context entity relations, as well as context-based access control and adaptation 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 specification are all passed into the translated code, potentially resulting disastrous malfunction. This paper introduces a type system that checks the consistency of a policy specification so that the specification is free from type-related errors and inconsistencies. © 2007 IEEE.
키워드
Access control; Codes (standards); Codes (symbols); Errors; High level languages; Information technology; Linguistics; Specifications; Technology; Ubiquitous computing; Adaptation rules; Description languages; International conferences; Policy specification; Programming environments; Programming frameworks; Type systems; Ubiquitous environments; Computer programming languages
- 제목
- A type system for checking consistencies of a policy specification used in ubiquitous programming environment
- 저자
- Choi, Ki-Hwan; Jeong, Hye-Ryeong; Doh, Kyung-Goo; Ahn, Joonseon; Chang, Byeong-Mo
- 발행일
- 2008-01
- 유형
- Conference Paper
- 저널명
- 2007 International Conference on Convergence Information Technology, ICCIT 2007
- 페이지
- 444 ~ 449