Power and Permission in Security Systems
暂无分享,去创建一个
[1] Martín Abadi,et al. A calculus for access control in distributed systems , 1991, TOPL.
[2] Brian F. Chellas. Modal Logic: Normal systems of modal logic , 1980 .
[3] Yao-Hua Tan,et al. Formal Definitions of Fraud Babak , 2007 .
[4] Morris Sloman,et al. A Security Framework Supporting Domain Based Access Control in Distributed Systems , 1996, NDSS.
[5] Bruno Crispo. Delegation of Responsibility (Transcript of Discussion) , 1998, Security Protocols Workshop.
[6] David Makinson. On the formal representation of rights relations , 1986, J. Philos. Log..
[7] Henry Prakken,et al. Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science , 1998 .
[8] Marek J. Sergot,et al. A Formal Characterisation of Institutionalised Power , 1996, Log. J. IGPL.
[9] Ravi S. Sandhu,et al. Role-Based Access Control Models , 1996, Computer.
[10] Joan Feigenbaum,et al. Advances in Cryptology-Crypto 91 , 1992 .
[11] Bruno Crispo,et al. Delegation of Responsibilities , 1998 .