A nonmonotonic typed multilevel logic for multilevel secure data/knowledge base management systems

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 1991, Pages 127-138

  Thuraisingham, B ^a  

^a MITRE CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION MANAGEMENT; QUERY PROCESSING; SECURITY OF DATA; SECURITY SYSTEMS;

INTEGRITY CHECKING; MANAGEMENT SYSTEMS; MULTILEVEL DATABASE; NONMONOTONIC; QUERY EVALUATION; SECURE DATA;

COMPUTER CIRCUITS;

EID: 33747486880     PISSN: 10636900     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSFW.1991.151579     Document Type: Conference Paper

References (26)

1. [AFSB83] Air Force Studies Board, Committee on Multilevel Data Management Security, 1983, "Multilevel Data Management Security, " National Academy Press.
2. [BJJBE89] Bibel, Wolfgang, Jean-Marie Nicolas, 1989, 'The Role of Logic for Data and Knowledge Bases, " in Foundations of Knowledge Base Management Systems, Springer Verlag, Heidelberg (Ed: J. Schmidt and C. Thanos).
3. BROD86] Brodie, M., J. Mylopoulos, 1986, On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database Technology, Springer Verlag, Heidelberg.
4. CLAR78] Clark, K., (Editors: H. Gallaire and J. Minker), 1978, "Negation as Failure, " Logic and Databases, Plenum Press, New York.
5. COHE89] Cohen, B., 1989, "Merging Expert Systems and Database Systems, " AI-EXPERT, Vol. 2, No. 2.
6. [DENN87] Denning, D. E., et al.. April 1987, "A Multilevel Relational Data Model, " Proceedings of the IEEE Symposium on Security and Privacy, Oakland, CA.
7. [FROS86] Frost, R., 1986, Introduction to Knowledge Base Systems, London, England: William Collins & Sons.
8. [GALL78] Gallaire, H., J. Minker, 1978, Logic and Databases, Plenum Press, New York.
9. [GALL84] Gallaire, H., J. Minker, J. Nicolas, 1984, Logic and Databases: A Deductive Approach, " ACM Computing Surveys, Vol. 16. No. 2, pp. 153-185.
10. [GRAU84] Graubart, R., 1984, "The Integrity Lock Approach to Secure Database Management, " Proceedings of the 1984 IEEE Symposium on Security and Privacy, Oakland, CA.
11. [JAJO90] Jajodia, S., R. Sandhu, May 1990, "On Polyinstantiation Integrity, " Proceedings of the 1990 IEEE Symposium on Security and Privacy, Oakland, CA.
12. [KOWA74] Kowalski, R. A., 1974, "Predicate Logic as a Programming Language, " Information Processing 74, Stockholm, North Holland.
13. [KOWA78] Kowalski, R. A. (Editors: H. Gallaire and J. Minker), 1978, "Logic for Data Description, " Logic and Databases, New York: Plenum Press.
14. [LLOY87] Lloyd, J., 1987, Foundations of Logic Programming, (2nd Edition), Heidelberg, Germany: Springer Verlag.
15. [MEND79] Mendleson, E., 1979, Introduction to Mathematical Logic, Princeton, New Jersey: Van Nostrand.
16. [MINK88] Minker, J., 1988, Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann.
17. [NIC078a] Nicolas, J., H. Gallaire, (Editors: H. Gallaire and J. Minker), 1978, Database: Theory vs Interpretation, New York: Plenum Press.
18. [NIC078b] Nicolas, J., K. Yazdanian, (Editors: H. Gallaire and J. Minker), 1978, "Integrity Checking in Deductive Databases, " Logic and Databases, New York: Plenum Press.
19. [REIT78] Reiter, R., 1978, "On Closed-World Databases, " (Editors: H. Gallaire and J. Minker), Logic and Databases, New York: Plenum Press.
20. [STAC90] Stachour, P., M. B. Thuraisingham, June 1990, "Design of LDV-A Multilevel Secure Database Management System, " IEEE Transaction on Knowledge and Data Engineering, Vol. 2.
21. [THUR87] Thuraisingham, M. B., December 1987, "Security Checking in Relational Database Management Systems Augmented with Inference Engines, " Computers and Security, Vol. 6, No. 6.
22. [THUR88] Thuraisingham, M. B., (Editor: T. Lunt), May 1988, "Foundations of Multilevel Databases, " Presented at the 1st RADC Database Security Invitational Workshop, Menlo Park, CA, (Proceedings to be published by Springer Verlag, Heidelberg, Germany)
23. [THUR90a] Thuraisingham M. B. 1989, 'Towards the Design of a Secure Data/Knowledge Base Management System Accepted for Publication in Data and Knowledge Engineering Journal.
24. [THUR90b] Thuraisingham, M. B., June 1990, A Nonmonotnic Typed Multilevel Logic for Multilevel Data/Knowledge Base Management System, MTR 10935, The MITRE Corporation.
25. [TURN84] Turner, R., 1984, Logic for Artificial Intelligence, Ellis Horwood: Chichester, England.
26. [ULLM88] Ullman, J., 1988, Principles of Data and Knowledge Base Systems, Computer Science Press, Rockville, MD.