期刊名称：International Journal of Computer Science and Network Security
印刷版ISSN：1738-7906
出版年度：2011
卷号：11
期号：11
页码：129-138
出版社：International Journal of Computer Science and Network Security
摘要：Classical security policies are generally expressed through permissions, prohibitions and obligations. Deontic logic is commonly used for modeling such security rules. We recently emphasize the need of the recommendation modality and we tried to formally specify this new notion by extending the Deontic logic. In this paper we first develop further our Recommendation Specification Language. Then, in order to be able to reason on the security policy and to derive new rules, we give more details about our new recommendation-based axiomatic. Finally, we prove that our new formal system is semantically complete and sound.
关键词：Information systems security; security policies; access control models; Deontic logic
