@article { author = {Javadi, A. and Amini, M.}, title = {A semantic-aware role-based access control model for pervasive computing environments}, journal = {The ISC International Journal of Information Security}, volume = {5}, number = {2}, pages = {119-140}, year = {2013}, publisher = {Iranian Society of Cryptology}, issn = {2008-2045}, eissn = {2008-3076}, doi = {10.22042/isecure.2014.5.2.2}, abstract = {Access control in open and dynamic Pervasive Computing Environments (PCEs) is a very complex mechanism and encompasses various new requirements. In fact, in such environments, context information should be used in access control decision process; however, it is not applicable to gather all context information completely and accurately all the time. Thus, a suitable access control model for PCEs not only should be context-aware, but also must be able to deal with imperfect context information. In addition, due to the diversity and heterogeneity of resources and users and their security requirements in PCEs, supporting exception and default policies is a necessary requirement. In this paper, we propose a Semantic-Aware Role-Based Access Control (SARBAC) model satisfying the aforementioned requirements using MKNF+. The main contribution of our work is defining an ontology for context information along with using MKNF+ rules to define context-aware role activation and permission assignment policies. Dividing role activation and permission assignment policies into three layers and using abstract and concrete predicates not only make security policy specification more flexible and manageable, but also make definition of exception and default polices possible. The expressive power of the proposed model is demonstrated through a case study in this paper.}, keywords = {Access Control,Non-Monotonic Logic,Pervasive Computing Environment,Context-Aware}, url = {https://www.isecure-journal.com/article_39141.html}, eprint = {https://www.isecure-journal.com/article_39141_383bb494395166957f26c977b79c4936.pdf} }