Xl. Qian et Tf. Lunt, A SEMANTIC FRAMEWORK OF THE MULTILEVEL SECURE RELATIONAL MODEL, IEEE transactions on knowledge and data engineering, 9(2), 1997, pp. 292-301
Citations number
24
Categorie Soggetti
Information Science & Library Science","Computer Sciences, Special Topics","Engineering, Eletrical & Electronic","Computer Science Artificial Intelligence","Computer Science Information Systems
A multilevel relational database represents information in a multileve
l state of the world, which is the knowledge of the truth value of a s
tatement with respect to a level in a security lattice. We develop a s
emantic 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 proper
ties that precisely characterize the validity of multilevel relational
databases, which can be maintained efficiently. Finally, we give an u
pdate semantics of the multilevel secure relational model that preserv
es both integrity and secrecy.