A modal logic for role-based access control

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3685 LNCS, Issue , 2005, Pages 179-193

  Kosiyatrakul, Thumrongsak ^a   Older, Susan ^a   Chin, Shiu Kai ^a  

^a SYRACUSE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER ARCHITECTURE; COMPUTER NETWORKS; CONTROL SYSTEMS; FORMAL LOGIC; SECURITY OF DATA;

ACCESS-CONTROL LOGIC; COMPUTER-ASSISTED REASONING; ROLE-BASED ACCESS CONTROL (RBAC);

COMPUTER CONTROL;

EID: 33646123997     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11560326_14     Document Type: Conference Paper

References (14)

1. Abadi, M., Burrows, M., Lampson, B., Plotkin, G.: A Calculus for Access Control in Distributed Systems. ACM Transactions on Programming Languages and Systems, 15(4) (1993) 706-734
2. Cuppens, F., Demolombe, R.: A Modal Logical Framework for Security Policies. Proceedings of the 10th International Symposium on Foundations of Intelligent Systems, Lecture Notes in Computer Science, Vol.1325. Springer. (1997) 579-589
3. Cramton, J., Loizou, G.: Administrative Scope: A Foundation for Role-Based Administrative Models. ACM Transactions on Information and System Security, 6(2) (2003) 201-231
4. Ferraiolo, D.F., Barkley, J.F., Kuhn, D.R.: A Role-Based Access Control Model and Reference Implementation Within a Corporate Intranet. ACM Transactions on Information and System Security, 2(1) (1999) 34-64
5. Ferraiolo, D., Kuhn, R.: Role-Based Access Control. 15th NIST-NCSC National Computer Security Conference, Gaithersburg, MD (1992) 554-563
6. Ferraiolo, D.F., Sandhu, R.S., Gavrila, S.I., Kuhn, D.R., Chandramouli, R.: Proposed NIST Standard for Role-Based Access Control. ACM Transaction on Information and System Security, 4(3) (2001) 224-274
7. Gordon, M.J.C., Melham, T.F.: Introduction to HOL: A Theorem Proving Environment for Higher Order Logic. Cambridge University Press, New York (1993)
8. Glasgow, J., MacEwen, G., Panangaden P.: A Logic for Reasoning About Security. ACM Transactions on Computer Systems, 10(3) (1992) 226-264
9. Howell, J., Kotz, D.: A Formal Semantics for SPKI. Technical Report TR2000-363, Department of Computer Science, Dartmouth College, Hanover, NH 03755-3510 (2000)
10. International Computer Limited. Higher Order Logic (HOL) Theorem Prover Version 4 (Kananaskis-2) http://hol.sourceforge.net (2004)
11. Lampson, B., Abadi, M., Burrows, M., Wobber, E.: Authentication in Distributed Systems: Theory and Practice. ACM Transactions on Computer Systems, 10(4) (1992) 265-310
12. Older, S., Chin, S.-K.: Building a Rigorous Foundation for Assurance into Information Assurance Education. Proceedings of the 6th National Colloquium for Information Systems Security Education (2002)
13. Older, S., Chin, S.-K.: Using Outcomes-based Assessment as an Assurance Tool for Assurance Education. Journal of Information Warfare, 2(3) (2003) 86-100
14. Sandhu, R., Bhamidipati, V., Munawer, Q.: The ARBAC97 Model for Role-Based Administration of Roles. ACM Transactions on Information and System Security, 2(1) (1999) 105-135