A logical framework for reasoning about access control models

Proceedings of Sixth ACM Symposium on Access Control Models and Technologies (SACMAT 2001)

Volumn , Issue , 2001, Pages 41-52

  Bertino, Elisa ^a   Catania, Barbara ^a   Ferrari, Elena ^a   Perlasca, Paolo ^a  

^a UNIVERSITY OF MILAN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DATA WAREHOUSES; DATABASE SYSTEMS; OBJECT ORIENTED PROGRAMMING; SEMANTICS; WORLD WIDE WEB;

MULTIPOLICY AUTHORIZATION MODELS;

SECURITY OF DATA;

EID: 0035790640     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/373256.373261     Document Type: Conference Paper

References (12)

1. D. Bell and L. LaPadula. Secure Computer Systems: Unified. ESD-TR-75-306, Hanscom Air Force Base, Bedford, MA, 1975.
2. E. Bertino, C. Bettini, E. Ferrari, and P. Samarati. An Access Control Mechanism Supporting Periodicity Constraints and Temporal Reasoning. ACM Transactions on Database Systems, 23(3):231-285, 1998.
3. E. Bertino, F. Buccafurri, E. Ferrari, and P. Rullo. A Logic-Based Approach for Enforcing Access Control. Journal of Computer Security, 8(2&3), 2000.
4. E. Bertino, B. Catania, E. Ferrari, and P. Perlasca. A Logical Framework for Reasoning about Access Control Models. Extended version of this paper, Department of Computer Science, University of Milano, November 2000.
5. S. Castano, M. Fugini, G. Martella, and P. Samarati. Database Security. Addison-Wesley, 1995.
6. E.Bertino, P. Samarati, and S.Jajodia. An Extended Authorization Model. IEEE Trans. on Knowledge and Data Engineering, 9(1), January/February 1997.
7. R. S. et al. Role-Based Access Control Models. IEEE Computer, pages 38-47, February 1996.
8. S. Greco, N. Leone, and P.Rullo. COMPLEX: An Object-Oriented Logic Programming System. IEEE Transactions on Knowledge and Data Engineering, 4:72-87, 4 1992.
9. S. Jajodia, P. Samarati, V. S. Subrahmanian, and E. Bertino. A Unified Framework for Enforcing Multiple Access Control Policies. Proc. of ACM-SIGMOD, 1997.
10. T. F. Keefe and W. T. Tsai. A Multilevel Security Model for Object-Oriented Systems. In D. Spooner and C. Landwehr, editors, Database Security, III Status and Prospects. North-Holland, 1990.
11. J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1987.
12. J. Ullman. Principles of Database and Knowledge Base Systems. Computer Science Press, Vol. 1 & 2, 1989.