A type system for checking consistencies of a policy specification used in ubiquitous programming environment
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Choi, Ki hwan | - |
dc.contributor.author | Jeong, Hye Ryeong | - |
dc.contributor.author | Doh, Kyung goo | - |
dc.contributor.author | Ahn, Joonseon | - |
dc.contributor.author | Chang, Byeong mo | - |
dc.date.accessioned | 2021-06-23T19:03:23Z | - |
dc.date.available | 2021-06-23T19:03:23Z | - |
dc.date.created | 2021-02-18 | - |
dc.date.issued | 2007-11 | - |
dc.identifier.uri | https://scholarworks.bwise.kr/erica/handle/2021.sw.erica/43291 | - |
dc.description.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. | - |
dc.language | 영어 | - |
dc.language.iso | en | - |
dc.publisher | IEEE | - |
dc.title | A type system for checking consistencies of a policy specification used in ubiquitous programming environment | - |
dc.type | Article | - |
dc.contributor.affiliatedAuthor | Doh, Kyung goo | - |
dc.identifier.doi | 10.1109/ICCIT.2007.260 | - |
dc.identifier.bibliographicCitation | International Conference on Convergence Information Technology(ICCIT 2007), pp.444 - 449 | - |
dc.relation.isPartOf | International Conference on Convergence Information Technology(ICCIT 2007) | - |
dc.citation.title | International Conference on Convergence Information Technology(ICCIT 2007) | - |
dc.citation.startPage | 444 | - |
dc.citation.endPage | 449 | - |
dc.type.rims | ART | - |
dc.description.journalClass | 3 | - |
dc.description.isOpenAccess | N | - |
dc.description.journalRegisteredClass | other | - |
dc.identifier.url | https://ieeexplore.ieee.org/document/4420299 | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
55 Hanyangdeahak-ro, Sangnok-gu, Ansan, Gyeonggi-do, 15588, Korea+82-31-400-4269 sweetbrain@hanyang.ac.kr
COPYRIGHT © 2021 HANYANG UNIVERSITY. ALL RIGHTS RESERVED.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.