Logical foundations of multilevel databases

Data and Knowledge Engineering

Volumn 29, Issue 3, 1999, Pages 259-291

  Cuppens, Frederic ^a   Gabillon, Alban ^b  

^a ONERA   (France)

^b UNIVERSITÉ DE TOULON   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; FORMAL LOGIC; MATHEMATICAL MODELS; SECURITY OF DATA;

MULTILEVEL DATABASES; MULTILEVEL SECURITY POLICY;

DATABASE SYSTEMS;

EID: 0033100756     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0169-023X(98)00044-5     Document Type: Article

References (27)

1. N. Boulahia-Cuppens, F. Cuppens, A. Gabillon, K. Yazdanian, Multiview model for multilevel object-oriented databases, Proc. 9th Annual Computer Security Applications Conf. (ACSAC), Orlando, USA (1993).
2. N. Boulahia-Cuppens, F. Cuppens, A. Gabillon, K. Yazdanian. Techniques to handle multilevel objects in secure object-oriented databases, Proc. of the OOPSLA-93 Workshop on Security for Object-Oriented Systems, Washington, USA (1993).
3. N. Boulahia-Cuppens, F. Cuppens, A. Gabillon, K. Yazdanian, Decomposition of multilevel objects in an object-oriented database. In: European Symp. on Research in Computer Security, Springer Verlag (1994).
4. N. Boulahia-Cuppens, F. Cuppens, A. Gabillon, K. Yazdanian, Virtual view model to design a secure object-oriented database, Proc. 17th National Computer Security Conference (NCSC), Baltimore, USA (1994).
5. F. Cuppens, A. Gabillon, A logical approach to model a multilevel object-oriented database, Proc. 10th Annual IFIP WG 11.3 Working Conf. on Database Security, Como, Italy (1996).
6. F. Cuppens, A. Gabillon, A query language for a multilevel object-oriented database, Proc. XI Int. Symp. on Computer and Information Sciences (ISCIS), Antalya, Turkey (November 1996).
7. F. Cuppens, A. Gabillon, Design of multilevel object-oriented databases, Proc. 12th Int. Symp. on Computer and Information Science (ISCIS), Turkey.
8. F. Chen, R.S. Sandhu, The semantics and expressive power of the MLR data model, IEEE Symp. on Security and Privacy, Oakland (1995).
9. F. Cuppens, Querying a multilevel database: A logical analysis, Proc. 22nd Int. Conf. on Very Large Databases, Bombay, India (1996).
10. D. Denning, T. Lunt, R Schell, W Shockley, M. Heckman, The Sea View Security Model, Proc. IEEE Symp. on Research in Security and Privacy (1988).
11. A. Gabillon, Sécurite Multi-niveaux dans les Bases de Données a Objets, Ph.D. Dissertation, ENSAE (1995).
12. J. Haig, R. O'Brien, P. Stachour, D. Toups, The LDV approach to database security. In: Database Security III, Status and Prospect. North Holland (1990).
13. S. Jajodia, B. Kogan, Integrating an object-oriented data model with multilevel security. In: IEEE Symp. on Security and Privacy, Oakland (1990).
14. T. Keefe, W. Tsai, B. Thuraisingham, SODA: A secure object-oriented database system, Computer and Security 8(6) (1989).
15. T.F. Lunt, Multilevel security for object-oriented database systems. In: D.L. Spooner and C. Landwehr (Eds.), Database Security III: Status and Prospects, Result of the IFIP WG 11.3 Workshop on Database Security, North Holland (1990).
16. J.K. Millen and T.F. Lunt, Security for object-oriented database systems, Proc. IEEE Symp. on Research in Security and Privacy (1992).
17. X. Qian, T.F. Lunt, A mac policy framework for multilevel databases, IEEE Trans. on Knowledge and Data Engineering 8(1) (February 1996).
18. M.S. Olivier, S.H. Von Solms, A taxonomy for secure object-oriented databases, ACM Trans. on Database Systems 19(1) (March 1994).
19. R. Reiter, In: On closed world databases. In: H. Gallaire, J. Mincker (eds.), Logic and Database, Plenum, New York (1978).
20. R. Reiter, Toward a logical reconstruction of relational database theory. In: On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languages. Springer Verlag (1983).
21. R. Sandhu, S. Jajodia, Polyinstantiation for cover stories. In: European Symp. on Research in Computer Security, Toulouse, France (1992) Springer Verlag.
22. R.S. Sandhu, S. Jajodia, Referential integrity in multilevel secure databases, Proc. 16th National Computer Security Conf. (1993).
23. M. Schaefer, P Martel, T. Kanawan, V. Lyons, Multilevel data model for the trusted ONTOS prototype. In: 9th Annual IFIP WG 11.3 Working Conf. on Database Security, Rensselaerville, USA (1995).
24. K. Smith, M. Winslett, Entity modeling in the MLS relational model, Proc. 18th Int. Conf. on Very Large Data Bases, Vancouver, Canada (1992).
25. R. Wieringa, A formalisation of objects using equational dynamic logic, 2nd Int. DOOD'91 Conf., Germany (1991).
26. J. Wilson, A security policy for an A1 DBMS (a trusted subject), IEEE Symp. on Security and Privacy, Oakland (1989).
27. T.F. Lunt, Polyinstantiation: An inevitable part of a multilevel world, in: Proc. Computer Society Foundations Workshop, Franconia, NH, 1991.