{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T00:09:34Z","timestamp":1742947774560,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642044434"},{"type":"electronic","value":"9783642044441"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04444-1_18","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T18:34:44Z","timestamp":1252953284000},"page":"285-302","source":"Crossref","is-referenced-by-count":4,"title":["Requirements and Protocols for Inference-Proof Interactions in Information Systems"],"prefix":"10.1007","author":[{"given":"Joachim","family":"Biskup","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Gogolin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jens","family":"Seiler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Torben","family":"Weibert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","volume-title":"Foundations of Databases","author":"S. Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)"},{"issue":"4","key":"18_CR2","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1145\/319628.319634","volume":"6","author":"F. Bancilhon","year":"1981","unstructured":"Bancilhon, F., Spyratos, N.: Update semantics of relational views. ACM Trans. Database Syst.\u00a06(4), 557\u2013575 (1981)","journal-title":"ACM Trans. Database Syst."},{"issue":"2","key":"18_CR3","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/S0169-023X(01)00024-6","volume":"38","author":"J. Biskup","year":"2001","unstructured":"Biskup, J., Bonatti, P.A.: Lying versus refusal for known potential secrets. Data Knowl. Eng.\u00a038(2), 199\u2013222 (2001)","journal-title":"Data Knowl. Eng."},{"key":"18_CR4","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/s10207-004-0032-1","volume":"3","author":"J. Biskup","year":"2004","unstructured":"Biskup, J., Bonatti, P.A.: Controlled query evaluation for enforcing confidentiality in complete information systems. Int. J. Inf. Sec.\u00a03, 14\u201327 (2004)","journal-title":"Int. J. Inf. Sec."},{"key":"18_CR5","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1023\/A:1026106029043","volume":"40","author":"J. Biskup","year":"2004","unstructured":"Biskup, J., Bonatti, P.A.: Controlled query evaluation for known policies by combining lying and refusal. Ann. Math. Art. Intell.\u00a040, 37\u201362 (2004)","journal-title":"Ann. Math. Art. Intell."},{"key":"18_CR6","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/s10472-007-9070-5","volume":"50","author":"J. Biskup","year":"2007","unstructured":"Biskup, J., Bonatti, P.A.: Controlled query evaluation with open queries for a decidable relational submodel. Ann. Math. Art. Intell.\u00a050, 39\u201377 (2007)","journal-title":"Ann. Math. Art. Intell."},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-73538-0_1","volume-title":"Data and Applications Security XXI","author":"J. Biskup","year":"2007","unstructured":"Biskup, J., Weibert, T.: Confidentiality policies for controlled query evaluation. In: Barker, S., Ahn, G.-J. (eds.) Data and Applications Security 2007. LNCS, vol.\u00a04602, pp. 1\u201313. Springer, Heidelberg (2007)"},{"key":"18_CR8","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/s10207-007-0037-7","volume":"7","author":"J. Biskup","year":"2008","unstructured":"Biskup, J., Weibert, T.: Keeping secrets in incomplete databases. Int. J. Inf. Sec.\u00a07, 199\u2013217 (2008)","journal-title":"Int. J. Inf. Sec."},{"key":"18_CR9","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1016\/j.ipl.2007.09.007","volume":"106","author":"J. Biskup","year":"2008","unstructured":"Biskup, J., Embley, D., Lochner, J.-H.: Reducing inference control to access control for normalized database schemas. Information Processing Letters\u00a0106, 8\u201312 (2008)","journal-title":"Information Processing Letters"},{"key":"18_CR10","volume-title":"Security in Computing Systems \u2013 Challenges, Approaches and Solutions","author":"J. Biskup","year":"2009","unstructured":"Biskup, J.: Security in Computing Systems \u2013 Challenges, Approaches and Solutions. Springer, Heidelberg (2009)"},{"key":"18_CR11","first-page":"214","volume-title":"Proc. IFIP\/SEC 2009, IFIP Series 297","author":"J. Biskup","year":"2009","unstructured":"Biskup, J., Lochner, J.-H., Sonntag, S.: Optimization of the controlled evaluation of closed relational queries. In: Proc. IFIP\/SEC 2009, IFIP Series 297, pp. 214\u2013225. Springer, Heidelberg (2009)"},{"key":"18_CR12","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"DBSec 2009","author":"J. Biskup","year":"2009","unstructured":"Biskup, J., Seiler, J., Weibert, T.: Controlled query evaluation and inference-free view updates. In: DBSec 2009. LNCS, vol.\u00a05645, pp. 1\u201316. Springer, Heidelberg (2009)"},{"key":"18_CR13","first-page":"338","volume-title":"PODS 2006","author":"A. Bohannon","year":"2006","unstructured":"Bohannon, A., Pierce, B.C., Vaughan, J.A.: Relational lenses: a language for updatable views. In: PODS 2006, pp. 338\u2013347. ACM, New York (2006)"},{"issue":"3","key":"18_CR14","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1109\/69.390247","volume":"7","author":"P.A. Bonatti","year":"1995","unstructured":"Bonatti, P.A., Kraus, S., Subrahmanian, V.S.: Foundations of secure deductive databases. IEEE Trans. Knowledge and Data Eng.\u00a07(3), 406\u2013422 (1995)","journal-title":"IEEE Trans. Knowledge and Data Eng."},{"issue":"6","key":"18_CR15","doi-asserted-by":"publisher","first-page":"900","DOI":"10.1109\/69.895801","volume":"12","author":"A. Brodsky","year":"2000","unstructured":"Brodsky, A., Farkas, C., Jajodia, S.: Secure databases: constraints, inference channels and monitoring disclosure. IEEE Trans. Knowledge and Data Eng.\u00a012(6), 900\u2013919 (2000)","journal-title":"IEEE Trans. Knowledge and Data Eng."},{"key":"18_CR16","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/S0169-023X(98)00044-5","volume":"29","author":"F. Cuppens","year":"1999","unstructured":"Cuppens, F., Gabillon, A.: Logical foundation of multilevel databases. Data Knowl. Eng.\u00a029, 259\u2013291 (1999)","journal-title":"Data Knowl. Eng."},{"key":"18_CR17","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0169-023X(01)00006-4","volume":"37","author":"F. Cuppens","year":"2001","unstructured":"Cuppens, F., Gabillon, A.: Cover story management. Data Knowl. Eng.\u00a037, 177\u2013201 (2001)","journal-title":"Data Knowl. Eng."},{"key":"18_CR18","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1145\/319732.319740","volume":"8","author":"U. Dayal","year":"1982","unstructured":"Dayal, U., Bernstein, P.A.: On correct translation of update operations on relational views. ACM Trans. Database Systems\u00a08, 381\u2013416 (1982)","journal-title":"ACM Trans. Database Systems"},{"key":"18_CR19","volume-title":"Cryptography and Data Security","author":"D.E. Denning","year":"1982","unstructured":"Denning, D.E.: Cryptography and Data Security. Addison-Wesley, Reading (1982)"},{"issue":"2","key":"18_CR20","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1109\/TSE.1987.232889","volume":"13","author":"D.E. Denning","year":"1987","unstructured":"Denning, D.E., Akl, S., Heckman, M., Lunt, T., Morgenstern, M., Neumann, P., Schell, R.: Views for multilevel database security. IEEE Trans. Software Eng.\u00a013(2), 129\u2013140 (1987)","journal-title":"IEEE Trans. Software Eng."},{"key":"18_CR21","first-page":"171","volume-title":"PODS 2008","author":"A. Evfimieski","year":"2008","unstructured":"Evfimieski, A., Fagin, R., Woodruff, D.: Epistemic privacy. In: PODS 2008, pp. 171\u2013180. ACM, New York (2008)"},{"key":"18_CR22","first-page":"181","volume-title":"Proc. DBSec 2001, IFIP Conf. Proc.","author":"C. Farkas","year":"2001","unstructured":"Farkas, C., Toland, T.S., Eastman, C.M.: The inference problem and updates in relational databases. In: Proc. DBSec 2001, IFIP Conf. Proc., vol.\u00a0215, pp. 181\u2013194. Kluwer, Dordrecht (2001)"},{"issue":"2","key":"18_CR23","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1145\/772862.772864","volume":"4","author":"C. Farkas","year":"2002","unstructured":"Farkas, C., Jajodia, S.: The inference problem: a survey. SIGKDD Explor. Newsl.\u00a04(2), 6\u201311 (2002)","journal-title":"SIGKDD Explor. Newsl."},{"key":"18_CR24","doi-asserted-by":"crossref","unstructured":"Goquen, J.A., Mesequer, J.: Unwinding and inference control. In: Proc. IEEE Symp. on Security and Privacy, Oakland, pp. 75\u201386 (1984)","DOI":"10.1109\/SP.1984.10019"},{"key":"18_CR25","doi-asserted-by":"crossref","unstructured":"Gray III, J.W.: Toward a mathematical foundation for information flow properties. In: Proc. IEEE Symposium on Security and Privacy, Oakland, pp. 21\u201334 (1991)","DOI":"10.1109\/RISP.1991.130769"},{"issue":"1","key":"18_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1410234.1410239","volume":"12","author":"J.Y. Halpern","year":"2008","unstructured":"Halpern, J.Y., O\u2019Neill, K.R.: Secrecy in multiagent systems. ACM Trans. Information and Systems Security\u00a012(1), Article 5, 5.1\u20135.47 (2008)","journal-title":"ACM Trans. Information and Systems Security"},{"key":"18_CR27","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1023\/A:1026158013113","volume":"40","author":"S.J. Hegner","year":"2004","unstructured":"Hegner, S.J.: An order-based theory of updates for relational views. Ann. Math. Art. Intell.\u00a040, 63\u2013125 (2004)","journal-title":"Ann. Math. Art. Intell."},{"key":"18_CR28","doi-asserted-by":"crossref","unstructured":"Jajodia, S., Sandhu, R.S.: Towards a multilevel secure relational data model. In: Proc. ACM SIGMOD Int. Conf. on Management of Data, pp. 50\u201359 (May 1991)","DOI":"10.1145\/119995.115796"},{"key":"18_CR29","first-page":"118","volume-title":"PODS 2005","author":"K. Kenthapadi","year":"2005","unstructured":"Kenthapadi, K., Mishra, N., Nissim, K.: Simulatable auditing. In: PODS 2005, pp. 118\u2013127. ACM, New York (2005)"},{"key":"18_CR30","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/77643.77645","volume":"15","author":"R. Langerak","year":"1990","unstructured":"Langerak, R.: View updates in relational databases with an independent scheme. ACM Trans. Database Systems\u00a015, 40\u201366 (1990)","journal-title":"ACM Trans. Database Systems"},{"issue":"6","key":"18_CR31","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1109\/32.55088","volume":"16","author":"T.F. Lunt","year":"1990","unstructured":"Lunt, T.F., Denning, D.E., Schell, R.R., Heckman, M., Shockley, W.R.: The SeaView security model. IEEE Trans. Software Eng.\u00a016(6), 593\u2013607 (1990)","journal-title":"IEEE Trans. Software Eng."},{"key":"18_CR32","doi-asserted-by":"crossref","unstructured":"Mantel, H.: On the composition of secure systems. In: Proc. 2002 IEEE Symp. on Security and Privacy, Oakland, pp. 88\u2013101 (2002)","DOI":"10.1109\/SECPRI.2002.1004364"},{"key":"18_CR33","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1016\/j.jcss.2006.10.004","volume":"73","author":"G. Miklau","year":"2007","unstructured":"Miklau, G., Suciu, D.: A formal analysis of information disclosure in data exchange. J. Computer and System Sciences\u00a073, 507\u2013534 (2007)","journal-title":"J. Computer and System Sciences"},{"key":"18_CR34","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1109\/ICDE.2008.4497437","volume-title":"Proc. Int. Conf. on Data Eng., ICDE 2008","author":"R. Motwani","year":"2008","unstructured":"Motwani, R., Nabar, S.U., Thomas, D.: Auditing SQL queries. In: Proc. Int. Conf. on Data Eng., ICDE 2008, pp. 287\u2013296. IEEE, Los Alamitos (2008)"},{"key":"18_CR35","unstructured":"Nabar, S.U., Narthi, B., Kenthapadi, K., Mishra, N., Motwani, R.: Towardsa robustness in query auditing. In: VLDB 2006, VLDB Endowment, pp. 151\u2013162 (2006)"},{"key":"18_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45608-2_1","volume-title":"Foundations of Security Analysis and Design","author":"P. Ryan","year":"2001","unstructured":"Ryan, P.: Mathematical models of computer security. In: Focardi, R., Gorrieri, R. (eds.) FOSAD 2000. LNCS, vol.\u00a02171, pp. 1\u201362. Springer, Heidelberg (2001)"},{"key":"18_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/BFb0013905","volume-title":"Computer Security - ESORICS 92","author":"R.S. Sandhu","year":"1992","unstructured":"Sandhu, R.S., Jajodia, S.: Polyinstantiation for cover stories. In: Deswarte, Y., Quisquater, J.-J., Eizenberg, G. (eds.) ESORICS 1992. LNCS, vol.\u00a0648, pp. 307\u2013328. Springer, Heidelberg (1992)"},{"key":"18_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/11863908_15","volume-title":"Computer Security \u2013 ESORICS 2006","author":"T. Santen","year":"2006","unstructured":"Santen, T.: A formal framework for confidentiality-preserving refinement. In: Gollmann, D., Meier, J., Sabelfeld, A. (eds.) ESORICS 2006. LNCS, vol.\u00a04189, pp. 225\u2013242. Springer, Heidelberg (2006)"},{"issue":"1","key":"18_CR39","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/319830.319833","volume":"8","author":"G.L. Sicherman","year":"1983","unstructured":"Sicherman, G.L., de Jonge, W., van de Riet, R.P.: Answering queries without revealing secrets. ACM Trans. Database Systems\u00a08(1), 41\u201359 (1983)","journal-title":"ACM Trans. Database Systems"},{"key":"18_CR40","series-title":"Lecture Notes in Computer Science","first-page":"309","volume-title":"Logical Foundations of Computer Science","author":"P. Stouppa","year":"2008","unstructured":"Stouppa, P., Studer, T.: Data privacy for ALC knowledge bases. In: Artemov, S., Nerode, A. (eds.) LFCS 2009. LNCS, vol.\u00a05407, pp. 309\u2013421. Springer, Heidelberg (2008)"},{"issue":"4","key":"18_CR41","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/195664.195675","volume":"19","author":"M. Winslett","year":"1994","unstructured":"Winslett, M., Smith, K., Qian, X.: Formal query languages for secure relational databases. ACM Trans. Database Systems\u00a019(4), 626\u2013662 (1994)","journal-title":"ACM Trans. Database Systems"},{"key":"18_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/978-3-540-30570-5_18","volume-title":"Database Theory - ICDT 2005","author":"Z. Zhang","year":"2004","unstructured":"Zhang, Z., Mendelzon, A.O.: Authorization views and conditional query containment. In: Eiter, T., Libkin, L. (eds.) ICDT 2005. LNCS, vol.\u00a03363, pp. 259\u2013273. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Computer Security \u2013 ESORICS 2009"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04444-1_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T04:18:00Z","timestamp":1739333880000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04444-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642044434","9783642044441"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04444-1_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}