A model-theoretic semantics of the multilevel relational model

  • Xiaolei Qian
Conference paper
Part of the Lecture Notes in Computer Science book series (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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [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. [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. [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. [4]
    C. E. Landwehr, “Formal Models for Computer Security”; ACM Computing Surveys 13:3, September 1981, 247–278.Google Scholar
  5. [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. [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. [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. [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. [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. [10]
    X. Qian, “A Model-Theoretic Semantics of the Multilevel Secure Relational Model”; Technical Report, Computer Science Laboratory, SRI International, 1993.Google Scholar
  11. [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. [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. [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. [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. [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

Copyright information

© Springer-Verlag 1994

Authors and Affiliations

  • Xiaolei Qian
    • 1
  1. 1.Computer Science LaboratorySRI InternationalMenlo Park

Personalised recommendations