{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:03Z","timestamp":1725663783805},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540578185"},{"type":"electronic","value":"9783540483427"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57818-8_52","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:25:03Z","timestamp":1330262703000},"page":"201-214","source":"Crossref","is-referenced-by-count":3,"title":["A model-theoretic semantics of the multilevel relational model"],"prefix":"10.1007","author":[{"given":"Xiaolei","family":"Qian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"19_CR1","unstructured":"R. K. Burns, \u201cIntegrity and Secrecy: Fundamental Conflicts in the Database Environment\u201d; Proceedings of the Third RADC Database Security Workshop, 1990, 37\u201340."},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"S. Jajodia and R. Sandhu, \u201cPolyinstantiation Integrity in Multilevel Relations\u201d; Proceedings of the 1990 IEEE Symposium on Security and Privacy, 1990, 104\u2013115.","DOI":"10.1109\/RISP.1990.63843"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"S. Jajodia and R. Sandhu, \u201cToward a Multilevel Secure Relational Data Model\u201d; Proceedings of the ACM SIGMOD International Conference on Management of Data, 1991, 50\u201359.","DOI":"10.1145\/115790.115796"},{"issue":"3","key":"19_CR4","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1145\/356850.356852","volume":"13","author":"C. E. Landwehr","year":"1981","unstructured":"C. E. Landwehr, \u201cFormal Models for Computer Security\u201d; ACM Computing Surveys 13:3, September 1981, 247\u2013278.","journal-title":"ACM Computing Surveys"},{"key":"19_CR5","unstructured":"T. F. Lunt, \u201cThe True Meaning of Polyinstantiation: Proposal for an Operational Semantics for a Multilevel Relational Database System\u201d; Proceedings of the Third RADC Database Security Workshop, 1990, 26\u201336."},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"T. F. Lunt, \u201cPolyinstantiation: An Inevitable Part of a Multilevel World\u201d; Proceedings of the Fourth IEEE Workshop on Computer Security Foundations, 1991, 236\u2013238.","DOI":"10.1109\/CSFW.1991.151597"},{"issue":"6","key":"19_CR7","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1109\/32.55088","volume":"16","author":"T. F. Lunt","year":"1990","unstructured":"T. F. Lunt, D. E. Denning, R. R. Schell, M. Heckman, and W. R. Shockley, \u201cThe SeaView Security Model\u201d; IEEE Transactions on Software Engineering 16:6, June 1990, 593\u2013607.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"19_CR8","unstructured":"C. Meadows and S. Jajodia, \u201cIntegrity versus Security in Multilevel Secure Databases\u201d; Database Security: Status and Prospects, C. E. Landwehr (editor), North-Holland, 1988, 89\u2013101."},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"J-M. Nicolas and H. Gallaire, \u201cData Base: Theory vs. Interpretation\u201d; Logic and Databases, H. Gallaire and J. Minker (editors), Plenum Press, 1978, 33\u201354.","DOI":"10.1007\/978-1-4684-3384-5_2"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"X. Qian, \u201cA Model-Theoretic Semantics of the Multilevel Secure Relational Model\u201d; Technical Report, Computer Science Laboratory, SRI International, 1993.","DOI":"10.1007\/3-540-57818-8_52"},{"key":"19_CR11","unstructured":"X. Qian and T. F. Lunt, \u201cTuple-Level vs. Element-Level Classification\u201d; Database Security, VI: Status and Prospects, B. M. Thuraisingham and C. E. Landwehr (editors), North-Holland, 1993, 301\u2013315."},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"R. Sandhu, S. Jajodia, and T. F. Lunt, \u201cA New Polyinstantiation Integrity Constraint for Multilevel Relations\u201d; Proceedings of the Third IEEE Workshop on Computer Security Foundations, 1990, 159\u2013165.","DOI":"10.1109\/CSFW.1990.128196"},{"key":"19_CR13","unstructured":"K. Smith and M. Winslett, \u201cEntity Modeling in the MLS Relational Model\u201d; Proceedings of the Eighteenth International Conference on Very Large Data Bases, 1992, 199\u2013210."},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"B. M. Thuraisingham, \u201cA Nonmonotonic Typed Multilevel Logic for Multilevel Secure Database\/Knowledge-Base Management Systems\u201d; Proceedings of the Fourth IEEE Workshop on Computer Security Foundations, 1991, 127\u2013138.","DOI":"10.1109\/CSFW.1991.151579"},{"key":"19_CR15","unstructured":"S. Wiseman, \u201cThe Control of Integrity in Databases\u201d; Database Security, IV: Status and Prospects, S. Jajodia and C. E. Landwehr (editors), North-Holland, 1991, 191\u2013204."}],"container-title":["Lecture Notes in Computer Science","Advances in Database Technology \u2014 EDBT '94"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57818-8_52.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T05:44:46Z","timestamp":1640929486000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57818-8_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540578185","9783540483427"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-57818-8_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}