A Modal Logic for Authorization Specification and Reasoning

摘要：

Authorization policies provide access control to the system resource. This paper proposes a formal modal logic approach for the specification and reasoning about authorizations. Especially we investigate and handle the situation where the security agents knowledge is not specific and the decisions for accessing the system resource are to be made based on the agents knowledge. We introduce modal logic to specify and reason about security policies, then translate the domain into an epistemic logic program. We also present a case study to demonstrate the proposed approach. This approach has an expressive power to describe a variety of complex security scenarios.

关键词： Information Security Authorization Policy Modal Logic Logic Program

作者: Yun Bai

作者单位: School of Computing and Mathematics University of Western Sydney Locked Bag 1797,Penrith South DC NSW 1797,Australia

会议类型: 国际会议

会议名称: 2009 IEEE International Conference on Intelligent Computing and Intelligent Systems(2009 IEEE 智能计算与智能系统国际会议)

会议地点: 上海

会议语种:英文

页码: 264-268

在线出版日期: 2009-11-20（万方平台首次上网日期，不代表论文的发表时间）