A model-theoretic semantics of the multilevel relational model
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 201-214
- https://doi.org/10.1007/3-540-57818-8_52
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Polyinstantiation: an inevitable part of a multilevel worldPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A nonmonotonic typed multilevel logic for multilevel secure data/knowledge base management systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A new polyinstantiation integrity constraint for multilevel relationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A model-theoretic semantics of the multilevel relational modelPublished by Springer Nature ,1994
- Toward a multilevel secure relational data modelPublished by Association for Computing Machinery (ACM) ,1991
- The SeaView security modelIEEE Transactions on Software Engineering, 1990
- Polyinstantiation integrity in multilevel relationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1990
- Formal Models for Computer SecurityACM Computing Surveys, 1981
- Data Base: Theory vs. InterpretationPublished by Springer Nature ,1978