Model-checking access control policies (extended abstract)

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

Volumn 3225, Issue , 2004, Pages 219-230

  Guelev, Dimitar P ^a   Ryan, Mark ^a   Schobbens, Pierre Yves ^b  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

^b UNIVERSITY OF NAMUR   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

MODEL CHECKING; SECURITY OF DATA;

ACCESS CONTROL POLICIES; BOTTLENECK PROBLEM; DATA DEPENDENT; DECISION PROCEDURE; EXTENDED ABSTRACTS; HIGH LEVEL POLICIES; LEGITIMATE USERS; LOGICAL THEORIES;

ACCESS CONTROL;

EID: 35048849152     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30144-8_19     Document Type: Article

References (14)

1. Martín Abadi, Michael Burrows, Butler Lampson, and Gordon Plotkin. A calculus for access control in distributed systems. ACM Transactions on Programming Languages and Systems, 15(4):706-734, September 1993.
2. Jean Bacon, Ken Moody, and Walt Yao. Access control and trust in the use of widely distributed services. Lecture Notes in Computer Science, 2218:295+, 2001. Also: Software Practice and Experience 33, 2003.
3. O. Bandmann, M. Dam, and B. Firozabadi. Constrained delegations. In Proc. IEEE Symposium on Security and Privacy, pages 131-142, 2002.
4. E. S. Barka. Framework for Role-Based Delagation Models. PhD thesis, George Mason University, 2002.
5. Sabrina De Capitani di Vimercati, Stefano Paraboschi, and Pierangela Samarati. Access control: principles and solutions. Software Practice and Experience, 33:397-421, 2003.
6. D. P. Guelev. Prolog code supporting "Model-checking access control policies". http://www.cs.bham.ac.uk/~dpg/mcacp/, November 2003.
7. D. P. Guelev, M. D. Ryan, and P. Y. Schobbens. Model-checking access control policies, http://www.cs.bham.ac.uk/~dpg/fullaclpaper.ps/, April 2004.
8. M. Harrison and W. Ruzzo. Monotonic protection systems. In [?]. Academic Press, New York, 1978.
9. Michael A. Harrison, Walter L. Ruzzo, and Jeffrey D. Ullman. On protection in operating systems. In Proceedings of the fifth symposium on Operating systems principles, pages 14-24. ACM Press, 1975.
10. Butler Lampson, Martín Abadi, Michael Burrows, and Edward Wobber. Authentication in distributed systems: Theory and practice. ACM Transactions on Computer Systems, 10(4):265-310, 1992.
11. R. Lipton and L. Snyder. On synchronization and security. In [?]. Academic Press, New York, 1978.
12. H. Riis Nielson and F. Nielson. Semantics with Applications: A Formal Introduction. Wiley, 1992.
13. R. Sandhu. The typed access matrix model. In Proceedings of the IEEE Symposium on Research in Security and Privacy, pages 122-136. IEEE Computer Society Press, 1992.
14. Ravi S. Sandhu, Edward J. Coyne, Hal L. Feinstein, and Charles E. Youman. Role-based access control models. IEEE Computer, 29(2):38-47, 1996.