A model-theoretic semantics of the multilevel relational model (1994) [5 citations — 0 self]

Download:

by Xiaolei Qian

Advances in Database Technology -- EDBT'94, Lecture Notes in Computer Science 779

http://www.csl.sri.com/~qian/edbt94.ps.gz

Add To MetaCart

Popular Tags

No tags have been applied to this document.

BibTeX | Add To MetaCart

@INPROCEEDINGS{Qian94amodel-theoretic,
    author = {Xiaolei Qian},
    title = {A model-theoretic semantics of the multilevel relational model},
    booktitle = {Advances in Database Technology -- EDBT'94, Lecture Notes in Computer Science 779},
    year = {1994},
    pages = {201--214},
    publisher = {Springer-Verlag}
}

Abstract:

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 classification level in a security lattice. We develop a model-theoretic semantics of the multilevel relational model with tuplelevel classification, which formalizes the notion of validity in multilevel relational databases. We also identify the multilevel security constraints that precisely characterize the validity of multilevel relational databases. 1

Citations

120	Formal models for computer security – Landwehr - 1981
107	The SeaView security model – Lunt, Denning, et al. - 1990
65	Toward a multilevel secure relational data model – Jajodia, Sandhu - 1991
46	Polyinstantiation integrity in multilevel relations – Jajodia, Sandhu - 1990
22	Entity modeling in the MLS relational model – Smith, Winslett - 1992
21	A new polyinstantiation integrity constraint for multilevel relations – Sandhu, Jajodia, et al. - 1990
13	Tuple-level vs. element-level classification – Qian, Lunt - 1993
10	A Nonmonotonic Typed Multilevel Logic for Multilevel Secure Database/Knowledge-Base Management Systems – Thuraisingham - 1991
8	Integrity and Secrecy: Fundamental Conflicts in the Database Environment – Burns - 1990
6	The Control of Integrity in Databases – Wiseman - 1991
5	Polyinstantiation: An Inevitable Part of a Multilevel World – Lunt - 1991
3	Data Base: Theory vs. Interpretation"; Logic and – Nicolas, Gallaire - 1978
3	A Model-Theoretic Semantics of the Multilevel Secure Relational Model – Qian - 1993
2	The True Meaning of Polyinstantiation: Proposal for an Operational Semantics for a Multilevel Relational Database System – Lunt - 1990
2	Integrity versus Security – Meadows, Jajodia - 1988

View or Download | Add to My Collection | Correct Errors