{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:38:27Z","timestamp":1725457107733},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540618140"},{"type":"electronic","value":"9783540706830"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0031748","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T06:44:07Z","timestamp":1134283447000},"page":"303-319","source":"Crossref","is-referenced-by-count":1,"title":["An axiomatic interpretation of confidentiality demands in logic-based relational databases"],"prefix":"10.1007","author":[{"given":"Adrian","family":"Spalka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Armin B.","family":"Cremers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"15_CR1","volume-title":"MITRE Technical Report 2997","author":"D. E. Bell","year":"1975","unstructured":"Bell, David Elliott, and Leonard J. La Padula. (1975) Secure computer system: Unified exposition and multics interpretation. MITRE Technical Report 2997. MITRE Corp, Bedford, MA"},{"key":"15_CR2","first-page":"391","volume-title":"LNCS, vol 646","author":"P. Bonatti","year":"1992","unstructured":"Bonatti, Piero, Sarit Kraus and V.S. Subrahmanian. (1992) \u2018Declarative Foundations of Secure Deductive Databases'. Ed Joachim Biskup and Richard Hull. 4th International Conference on Database Theory \u2014 ICDT'92. LNCS, vol 646. Berlin, Heidelberg: Springer-Verlag. pp 391\u2013406. [Also in: IEEE Transactions on Knowledge and Data Engineering 7.3 (1995):406\u2013422.]"},{"doi-asserted-by":"crossref","unstructured":"Bonyun, David A. (1980) \u2018The Secure Relational Database Management System Kernel: Three Years After'. 1980 IEEE Symposium on Security and Privacy. IEEE Computer Society Press. pp 34\u201337.","key":"15_CR3","DOI":"10.1109\/SP.1980.10008"},{"key":"15_CR4","volume-title":"Theory of Sets","author":"N. Bourbaki","year":"1968","unstructured":"Bourbaki, Nicolas. (1968) Theory of Sets. Paris: Hermann."},{"key":"15_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-663-09572-9","volume-title":"Deduktive Datenbanken","author":"A. B. Cremers","year":"1994","unstructured":"Cremers, Armin B., Ulrike Griefahn and Ralf Hinze. (1994) Deduktive Datenbanken. Braunschweig: Vieweg."},{"doi-asserted-by":"crossref","unstructured":"Denning, Dorothy E., Teresa F. Lunt, Roger R. Schell, Mark Heckman and William R. Shockley. (1987) \u2018A Multilevel Relational Data Model'. 1987 IEEE Symposium on Security and Privacy. IEEE Computer Society Press. pp 220\u2013234.","key":"15_CR6","DOI":"10.1109\/SP.1987.10023"},{"unstructured":"-,-,-, William R. Shockley and Mark Heckman. (1988) \u2018The SeaView Security Model'. 1988 Symposium on Security and Privacy. IEEE Computer Society Press. pp 218\u2013233.","key":"15_CR7"},{"key":"15_CR8","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1145\/1067625.806547","volume":"11.5","author":"R.J. Feiertag","year":"1977","unstructured":"Feiertag, R.J., K.N. Levitt and L. Robinson. (1977) \u2018Proving multilevel security of a system design'. 6th ACM Symposium on Operating System Principles. ACM SIGOPS Operating System Review 11.5:57\u201365.","journal-title":"6th ACM Symposium on Operating System Principles. ACM SIGOPS Operating System Review"},{"doi-asserted-by":"crossref","unstructured":"Graubart, Richard D., and John P.L. Woodward. (1982) \u2018A Preliminary Naval Surveillance DBMS Security Model'. 1982 IEEE Symposium on Security and Privacy. IEEE Computer Society Press. pp 21\u201337.","key":"15_CR9","DOI":"10.1109\/SP.1982.10021"},{"key":"15_CR10","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1145\/356850.356852","volume":"13.3","author":"C. E. Landwehr","year":"1981","unstructured":"Landwehr, Carl E. (1981) \u2018Formal Models for Computer Security'. ACM Computing Surveys 13.3:247\u2013278.","journal-title":"ACM Computing Surveys"},{"doi-asserted-by":"crossref","unstructured":"Qian, Xiaolei. (1994) \u2018Inference Channel-Free Integrity Constraints in Multilevel Relational Databases'. 1994 IEEE Symposium on Research in Security and Privacy. IEEE Computer Society Press. pp 158\u2013167.","key":"15_CR11","DOI":"10.1109\/RISP.1994.296584"},{"key":"15_CR12","first-page":"301","volume-title":"Database Security VI","author":"X. Qian","year":"1992","unstructured":"-and Teresa F. Lunt. (1992) \u2018Tuple-level vs. element-level classification'. Ed Bhavani M. Thuraisingham and Carl E. Landwehr. Database Security VI. IFIP WG11.3 Workshop on Database Security 1993. Amsterdam: North-Holland, 1993. pp 301\u2013315."},{"key":"15_CR13","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1145\/319830.319833","volume":"8.1","author":"G. L. Sicherman","year":"1983","unstructured":"Sicherman, George L., Wiebren de Jonge and Reind P. van de Riet. (1983) \u2018Answering Queries Without Revealing Secrets'. ACM Transactions on Database Systems 8.1:41\u201359.","journal-title":"ACM Transactions on Database Systems"},{"key":"15_CR14","first-page":"297","volume-title":"Database Security VIII","author":"A. Spalka","year":"1994","unstructured":"Spalka, Adrian. (1994) \u2018Secure Logic Databases Allowed to Reveal Indefinite Information on Secrets'. Ed Joachim Biskup, Matthew Morgenstern and Carl E. Landwehr. Database Security VIII. IFIP WG11.3 Working Conference on Database Security 1994. Amsterdam: North-Holland. pp 297\u2013316."},{"key":"15_CR15","volume-title":"PhD Thesis","author":"A. Spalka","year":"1996","unstructured":"-. (1996a) A Study of the Extensibility of Logic-Based Databases with Confdentiality Capabilities. PhD Thesis. Universtity of Bonn, Germany."},{"unstructured":"-. (1996b) \u2018The Non-Primitiveness of the Simple-Security Property and its Non-Applicability to Relational Databases'. 9th IEEE Computer Security Foundations Workshop 1996. IEEE Computer Society Press.","key":"15_CR16"},{"key":"15_CR17","doi-asserted-by":"crossref","first-page":"626","DOI":"10.1145\/195664.195675","volume":"19.4","author":"M. Winslett","year":"1994","unstructured":"Winslett, Marianne, Kenneth Smith and Xiaolei Qian. (1994) \u2018Formal Query Languages for Secure Relational Databases'. ACM Transactions on Database Systems 19.4:626\u2013662.","journal-title":"ACM Transactions on Database Systems"}],"container-title":["Lecture Notes in Computer Science","Logic in Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0031748","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T13:48:20Z","timestamp":1586612900000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0031748"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540618140","9783540706830"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0031748","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}