An Access Control Model Supporting Periodicity Constraints and Temporal Reasoning

ACM Transactions on Database Systems

Volumn 23, Issue 3, 1998, Pages 231-285

  Bertino, Elisa ^a   Bettini, Claudio ^a   Ferrari, Elena ^a   Samarati, Pierangela ^a  

^a UNIVERSITY OF MILAN   (Italy)

Author keywords

Access control; H.2.7 Information Systems : Database Administration security, integrity, and protection; Periodic authorization; Security; Temporal constraints; Time management

Indexed keywords

ALGORITHMS; COMPUTER SOFTWARE; DATA PRIVACY; LOGIC PROGRAMMING; PUBLIC POLICY; SOCIETIES AND INSTITUTIONS; CONSTRAINT THEORY; DATA ACQUISITION; DATA STRUCTURES; SECURITY OF DATA;

ACCESS CONTROL; PERIODIC AUTHORIZATION; TEMPORAL CONSTRAINTS; TIME MANAGEMENT;

DATABASE SYSTEMS;

EID: 0032153903     PISSN: 03625915     EISSN: None     Source Type: Journal    
DOI: 10.1145/293910.293151     Document Type: Article

References (24)

1. ABADI, M., BURROWS, M., LAMPSON, B., AND PLOTKIN, G. 1993. A calculus for access control in distributed systems. ACM Trans. Program. Lang. Syst. 15, 4 (Sept.), 706-734.
2. BERTINO, E., BETTINI, C., FERRARI, E., AND SAMARATI, P. 1996a. A temporal access control mechanism for database systems. IEEE Trans. Knowl. Data Eng. 8, 1 (Feb.), 67-80.
3. BERTINO, E., BETTINI, C., FERRARI, E., AND SAMARATI, P. 1996b. Supporting periodic authorizations and temporal reasoning in database access control. In 22nd International Conference on Very Large Databases (VLDB'96) Proceedings (Mumbay, India, Sept. 3-6), 472-483.
4. BERTINO, E., BETTINI, C., FERRARI, E., AND SAMARATI, P. 1996c. On using materialization strategies for a temporal authorization model. In Post-SIGMOD Workshop on Materialized Views: Techniques and Applications Proceedings (Montreal, Que., June 6), 34-81.
5. BERTINO, E., BETTINI, C., FERRARI, E., AND SAMARATI, P. 1997. Decentralized administration for a temporal access control model. Inf. Syst. 22, 4, 223-248.
6. BERTINO, E., SAMARATI, P., AND JAJODIA, S. 1993. Authorizations in relational database management systems. In First ACM Conference on Computer and Communications Security Proceedings (Fairfax, VA, Nov. 3-5). ACM, New York, 130-139.
7. DATE, C. 1995. An Introduction to Database Systems, 6th edition. Addison-Wesley, Reading, MA.
8. FALASCHI, M., LEVI, G., MARTELLI, M., AND PALAMIDESSI, C. 1988. A new declarative semantics for logic languages. In Fifth International Conference and Symposium on Logic Programming Proceedings (Seattle, WA, Aug. 15-19), 993-1005.
9. FERRARI, E. 1998. Access control mechanisms for database systems: Formal models and architectural aspects. Ph.D. Thesis, Dipartimento di Scienze dell'Informazione, Università di Milano.
10. FOUNDATION, O. S. 1993. OSF/Motif Programmer's Guide. Prentice-Hall, Englewood Cliffs, NJ.
11. GELDER, A. V., ROSS, K., AND SCHLIPF, J. S. 1991. The well-founded semantics for general logic programs. J. ACM 38, 3 (July), 620-650.
12. GELFOND, M. AND LIFSCHITZ, V. 1988. The stable model semantics for logic programming. In Fifth International Conference and Symposium on Logic Programming Proceedings (Seattle, WA, Aug. 15-19), 1070-1080.
13. GOTTLOB, G., MARCUS, S., NERODE, A., SALZER, G., AND SUBRAHMANIAN, V. 1996. A nonground realization of the stable and well-founded semantics. Theor. Comput. Sci. 166, 1&2, 221-262.
14. GUPTA, A., MUMICK, I., AND SUBRAHMANIAN, V. 1993. Maintaining views incrementally. In ACM SIGMOD International Conference on Management of Data Proceedings (Washington D.C., May 26-28), 157-166.
15. INFORMIX SOFTWARE. 1994. The Informix Guide to SQL: Reference and Using Triggers, 1/e, Prentice Hall, Englewood Cliffs, NJ.
16. JAJODIA, S., SAMARATI, P., SUBRAHMANIAN, V., AND BERTINO, E. 1997. A unified framework for enforcing multiple access control policies. In ACM SIGMOD International Conference on Management of Data Proceedings (Tucson, AZ, May 13-15).
17. LU, J., LUDASCHER, B., SCHU, J., AND SUBRAHMANIAN, V. 1996. Well-founded views in constraint databases: Incremental materialization and maintenance. Tech. Rep., University of Maryland.
18. Lu, J., MOERKOTTE, G., SCHU, J., AND SUBRAHMANIAN, V. 1995. Efficient maintenance of materialized mediated views. In ACM SIGMOD International Conference on Management of Data Proceedings (San Jose, CA, May 22-25).
19. NIEZETTE, M. AND STEVENNE, J. 1992. An efficient symbolic representation of periodic time. In First International Conference on Information and Knowledge Management Proceedings. (Baltimore, MD, Nov. 2-5).
20. REVESZ, P. 1993. A closed form evaluation for Datalog queries with integer (gap)-order constraints. Theor. Comput. Sci. 116, 1, 117-149.
21. REVESZ, P. 1995. Safe stratified Datalog with integer order programs. In First International Conference on Principles and Practice of Constraint Programming Proceedings (Cassis, France, Sept. 19-22), 154-169.
22. STEINER, J. G., NEUMAN, C., AND SCHILLER, J. I. 1988. Kerberos: An authentication service for open network systems. In USENIX Conference Proceedings (Dallas, TX, Winter 1988), 191-202.
23. TOMAN, D., CHOMICKI, J., AND ROGERS, D. 1994. Datalog with integer periodicity constraints. In International Logic Programming Symposium Proceedings (Ithaca, NY, Nov. 13-14), 189-203.
24. WOO, T. AND LAM, S. 1993. Authorizations in distributed systems: A new approach. J. Comput. Sec. 2, 2&3, 107-136.