A temporal access control mechanism for database systems

IEEE Transactions on Knowledge and Data Engineering

Volumn 8, Issue 1, 1996, Pages 67-80

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

^a IEEE

^b UNIVERSITY OF MILAN   (Italy)

Author keywords

Access control; Database management; Database security; General logic programs; Temporal authorization; Temporal reasoning

Indexed keywords

ALGORITHMS; COMPUTATIONAL LINGUISTICS; DATA ACQUISITION; MATHEMATICAL MODELS; SECURITY OF DATA;

GENERAL LOGIC PROGRAM; TEMPORAL ACCESS CONTROL; TEMPORAL AUTHORIZATION; TEMPORAL REASONING;

DATABASE SYSTEMS;

EID: 0030087035     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/69.485637     Document Type: Article

References (13)

1. M. Abadi, M. Burrows, B.W. Lampson, and G. Plotkin, "A calculus for access control in distributed systems," ACM Trans. Programming Languages and Systems, vol. 15, no. 4, pp. 706-734, Sept. 1993.
2. M. Baudinet, M. Niézette, and P. Wolper, "On the representation of infinite temporal data and queries (extended abstract)," Proc. ACM Symp. Principles of Database Systems, pp. 280-290, Denver, May 1991.
3. E. Bertino, C. Bettini, E. Ferrari, and P. Samarati, "A temporal access control model for database systems," Technical Report 137-95, DSI-Univ. of Milano, 1995.
4. E. Bertino, C. Bettini, and P. Samarati, "A temporal authorization model," Proc. Second ACM Conf. Computer and Communications Security, pp. 126-135, Fairfax,Va., Nov. 1994.
5. E. Bertino, P. Samarati, and S. Jajodia, "Authorizations in relational database management systems," Proc. First ACM Conf. Computer and Comm. Security, Fairfax, Va., Nov. 1993.
6. S. Ceri and J. Widom, "Deriving production rules for incremental view maintenance," Proc. 17th VLDB, pp. 735-749, Barcelona, 1991.
7. M. Gelfond and V. Lifschitz, "The stable model semantics for logic programming," Proc. Fifth Int'l Conf. Logic Programming, R. Kowalski and K. Bowen, eds., pp. 1,070-1,080, Cambridge, Mass.: MIT Press, 1988.
8. I.S. Gupta, A. Mumick, and V.S. Subrahmanian, "Maintaining views incrementally," Proc. ACM SIGMOD Int'l Conf. Management of Data, pp. 157-166, Portland, Ore., May 1993.
9. W.T. Maimone and I.B. Greenberg, "Single-level multiversion schedulers for multilevel secure database systems," Proc. Sixth Ann. Computer Security Applications Conf., pp. 137-147, Tucson, Ariz., Dec. 1990.
10. J.G. Steiner, C. Neuman, and J.I. Schiller, "Kerberos: An authentication service for open network systems," USENIX Conf. Proc., pp. 191-202, Dallas, Winter 1988.
11. R.K. Thomas and R.S. Sandhu, "Discretionary access control in object-oriented databases: Issues and research directions," Proc. 16th Nat'l Computer Security Conf., pp. 63-74, Baltimore, Sept. 1993.
12. A. van Gelder, K. Ross, and J.S. Schlipf, "The well-founded semantics for general logic programs," J. ACM, vol. 38, no. 3, pp. 620-650 July 1991.
13. T.Y.C. Woo and S.S. Lam, "Authorizations in distributed systems: A new approach," J. Computer Security, vol. 2, nos. 2-3, pp. 107-136, 1993.