Issue No. 02 - March-April (1997 vol. 9)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/69.591453
<p><b>Abstract</b>—A multilevel relational database represents information in a multilevel state of the world, which is the knowledge of the truth value of a statement with respect to a level in a security lattice. We develop a semantic framework of the multilevel secure relational model with tuple-level labeling, which formalizes the notion of validity in multilevel relational databases. We also identify the multilevel security properties that precisely characterize the validity of multilevel relational databases, which can be maintained efficiently. Finally, we give an update semantics of the multilevel secure relational model that preserves both integrity and secrecy.</p>
Inference channels, integrity constraints, multilevel databases, multilevel security, relational model, update semantics.
X. Qian and T. F. Lunt, "A Semantic Framework of the Multilevel Secure Relational Model," in IEEE Transactions on Knowledge & Data Engineering, vol. 9, no. , pp. 292-301, 1997.