Loading...
Non-monotonocity in OrBAC through default and exception policy rules
Javadi, S. A ; Sharif University of Technology | 2012
1415
Viewed
- Type of Document: Article
- DOI: 10.1109/ISCISC.2012.6408196
- Publisher: 2012
- Abstract:
- Context-awareness is an essential requirement of modern access control models. Organization-Based Access Control (OrBAC) model is a powerful context-aware access control model defined by first-order logic. However, due to the monotonicity nature of the first-order logic, OrBAC suffers from the incapability of making decision based on incomplete context information as well as the definition of default and exception policy rules. This paper proposes augmenting non-monotonicity features to OrBAC using MKNF+ logic, which is a combination of Description Logic (DL) and Answer Set Programming (ASP). Along with the use of DL to define ontology for main entities and context information in OrBAC; MKNF+ rules are used to define access control, default, and exception policy rules. The proposed model inherits the advantages of ontological representation of OrBAC entities and context information (such as interoperability among systems) as well as the ASP advantages in non-monotonic reasoning through closed-world principle and negation as failure. The expressive power of the model is also demonstrated through a case study
- Keywords:
- Default Policy Rule ; Exception Policy Rule ; Access control models ; Answer set programming ; Context information ; Context-aware access control ; Context-awareness ; Description logic ; Expressive power ; First order logic ; Making decision ; Monotonicity ; Negation as failures ; Non-monotonic reasoning ; Non-monotonicity ; Nonmonotonic logic ; Ontological representation ; Policy rules ; Cryptography ; Data description ; Formal logic ; Interoperability ; Knowledge representation ; Logic programming ; Semantics ; Access control
- Source: 2012 9th International ISC Conference on Information Security and Cryptology, ISCISC 2012 ; 2012 , Pages 87-94 ; 9781467323864 (ISBN)
- URL: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6408196
