Skip to main content
SpringerLink
Log in
Book cover

International Conference on Extending Database Technology

EDBT 1994: Advances in Database Technology — EDBT '94 pp 201–214Cite as

A model-theoretic semantics of the multilevel relational model

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 779))

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.

This work was supported by U.S. Department of Defense Advanced Research Projects Agency and U.S. Air Force Rome Laboratory under contracts F30602-91-C-0092 and F30602-92-C-0140.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R. K. Burns, “Integrity and Secrecy: Fundamental Conflicts in the Database Environment”; Proceedings of the Third RADC Database Security Workshop, 1990, 37–40.

    Google Scholar 

  2. S. Jajodia and R. Sandhu, “Polyinstantiation Integrity in Multilevel Relations”; Proceedings of the 1990 IEEE Symposium on Security and Privacy, 1990, 104–115.

    Google Scholar 

  3. S. Jajodia and R. Sandhu, “Toward a Multilevel Secure Relational Data Model”; Proceedings of the ACM SIGMOD International Conference on Management of Data, 1991, 50–59.

    Google Scholar 

  4. C. E. Landwehr, “Formal Models for Computer Security”; ACM Computing Surveys 13:3, September 1981, 247–278.

    Google Scholar 

  5. T. F. Lunt, “The True Meaning of Polyinstantiation: Proposal for an Operational Semantics for a Multilevel Relational Database System”; Proceedings of the Third RADC Database Security Workshop, 1990, 26–36.

    Google Scholar 

  6. T. F. Lunt, “Polyinstantiation: An Inevitable Part of a Multilevel World”; Proceedings of the Fourth IEEE Workshop on Computer Security Foundations, 1991, 236–238.

    Google Scholar 

  7. T. F. Lunt, D. E. Denning, R. R. Schell, M. Heckman, and W. R. Shockley, “The SeaView Security Model”; IEEE Transactions on Software Engineering 16:6, June 1990, 593–607.

    Google Scholar 

  8. C. Meadows and S. Jajodia, “Integrity versus Security in Multilevel Secure Databases”; Database Security: Status and Prospects, C. E. Landwehr (editor), North-Holland, 1988, 89–101.

    Google Scholar 

  9. J-M. Nicolas and H. Gallaire, “Data Base: Theory vs. Interpretation”; Logic and Databases, H. Gallaire and J. Minker (editors), Plenum Press, 1978, 33–54.

    Google Scholar 

  10. X. Qian, “A Model-Theoretic Semantics of the Multilevel Secure Relational Model”; Technical Report, Computer Science Laboratory, SRI International, 1993.

    Google Scholar 

  11. X. Qian and T. F. Lunt, “Tuple-Level vs. Element-Level Classification”; Database Security, VI: Status and Prospects, B. M. Thuraisingham and C. E. Landwehr (editors), North-Holland, 1993, 301–315.

    Google Scholar 

  12. R. Sandhu, S. Jajodia, and T. F. Lunt, “A New Polyinstantiation Integrity Constraint for Multilevel Relations”; Proceedings of the Third IEEE Workshop on Computer Security Foundations, 1990, 159–165.

    Google Scholar 

  13. K. Smith and M. Winslett, “Entity Modeling in the MLS Relational Model”; Proceedings of the Eighteenth International Conference on Very Large Data Bases, 1992, 199–210.

    Google Scholar 

  14. B. M. Thuraisingham, “A Nonmonotonic Typed Multilevel Logic for Multilevel Secure Database/Knowledge-Base Management Systems”; Proceedings of the Fourth IEEE Workshop on Computer Security Foundations, 1991, 127–138.

    Google Scholar 

  15. S. Wiseman, “The Control of Integrity in Databases”; Database Security, IV: Status and Prospects, S. Jajodia and C. E. Landwehr (editors), North-Holland, 1991, 191–204.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, 94025, Menlo Park, CA

    Xiaolei Qian

Authors
  1. Xiaolei Qian
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Matthias Jarke Janis Bubenko Keith Jeffery

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Qian, X. (1994). A model-theoretic semantics of the multilevel relational model. In: Jarke, M., Bubenko, J., Jeffery, K. (eds) Advances in Database Technology — EDBT '94. EDBT 1994. Lecture Notes in Computer Science, vol 779. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57818-8_52

Download citation

  • DOI: https://doi.org/10.1007/3-540-57818-8_52

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57818-5

  • Online ISBN: 978-3-540-48342-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation