25 0

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/4420299http://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


qrcode

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

BROWSE