A nonmonotonic typed multilevel logic for multilevel secure data/knowledge base management systems
- 10 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 127-138
- https://doi.org/10.1109/csfw.1991.151579
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Foundations of Multilevel DatabasesPublished by Springer Nature ,1992
- Design of LDV: a multilevel secure relational database management systemIEEE Transactions on Knowledge and Data Engineering, 1990
- Polyinstantiation integrity in multilevel relationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1990
- Security checking in relational database management systems augmented with inference enginesComputers & Security, 1987
- A Multilevel Relational Data ModelPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1987
- Foundations of Logic ProgrammingPublished by Springer Nature ,1987
- Logic and Databases: A Deductive ApproachACM Computing Surveys, 1984
- The Integrity-Lock Approach to Secure Database ManagementPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1984
- Logic and Data BasesPublished by Springer Nature ,1978