{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:57:46Z","timestamp":1725551866542},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540317821"},{"type":"electronic","value":"9783540317845"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11663881_4","type":"book-chapter","created":{"date-parts":[[2006,1,19]],"date-time":"2006-01-19T06:31:46Z","timestamp":1137652306000},"page":"43-62","source":"Crossref","is-referenced-by-count":4,"title":["Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel"],"prefix":"10.1007","author":[{"given":"Joachim","family":"Biskup","sequence":"first","affiliation":[]},{"given":"Piero","family":"Bonatti","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"volume-title":"Foundations of Databases","year":"1995","author":"S. Abiteboul","key":"4_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)"},{"volume-title":"Solvable Cases of the Decision Problem","year":"1968","author":"W. Ackermann","key":"4_CR2","unstructured":"Ackermann, W.: Solvable Cases of the Decision Problem. North-Holland, Amsterdam (1968)"},{"issue":"3","key":"4_CR3","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/A:1004275029985","volume":"27","author":"H. Andreka","year":"1998","unstructured":"Andreka, H., Nemeti, I., van Benthem, J.: Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic\u00a027(3), 217\u2013274 (1998)","journal-title":"Journal of Philosophical Logic"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0169-023X(99)00043-9","volume":"33","author":"J. Biskup","year":"2000","unstructured":"Biskup, J.: For unknown secrecies refusal is better than lying. Data and Knowledge Engineering\u00a033, 1\u201323 (2000)","journal-title":"Data and Knowledge Engineering"},{"key":"4_CR5","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 and Knowledge Engineering\u00a038, 199\u2013222 (2001)","journal-title":"Data and Knowledge Engineering"},{"key":"4_CR6","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. Annals of Mathematics and Artificial Intelligence\u00a040, 37\u201362 (2004)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"1","key":"4_CR7","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. Journal of Information Security\u00a03(1), 14\u201327 (2004)","journal-title":"Int. Journal of Information Security"},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/1-4020-8128-6_10","volume-title":"Research Directions in Data and Applications Security XVII","author":"J. Biskup","year":"2004","unstructured":"Biskup, J., Weibert, T.: Refusal in incomplete databases. In: Research Directions in Data and Applications Security XVII, pp. 143\u2013157. Kluwer, Boston (2004)"},{"key":"4_CR9","unstructured":"Biskup, J., Weibert, T.: Keeping secrets in incomplete databases. In: Workshop on Foundations of Computer Security, LICS 2005, Chicago (2005), \n \n http:\/\/www.cs.chalmers.se\/~andrei\/FCS05\/"},{"issue":"3","key":"4_CR10","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 Transactions on Knowledge and Data Engineering\u00a07(3), 406\u2013422 (1995)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"6","key":"4_CR11","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 disclosures. IEEE Transactions on Knowledge and Data Engineering\u00a012(6), 900\u2013919 (2000)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/3-540-45349-0_9","volume-title":"Principles and Practice of Constraint Programming - CP 2000","author":"A. Brodsky","year":"2000","unstructured":"Brodsky, A., Farkas, C., Wijesekera, D., Wang, X.S.: Constraints, inference channels and secure databases. In: Dechter, R. (ed.) CP 2000. LNCS, vol.\u00a01894, pp. 98\u2013113. Springer, Heidelberg (2000)"},{"key":"4_CR13","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 and Knowledge Engineering\u00a037, 177\u2013201 (2001)","journal-title":"Data and Knowledge Engineering"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Dawson, S., De Capitani di Vimercati, S., Lincoln, P., Samarati, P.: Minimal data upgrading to prevent inference and association attacks. In: Proc. of the 18th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS), pp. 114\u2013125 (1999)","DOI":"10.1145\/303976.303988"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Dawson, S., De Capitani di Vimercati, S., Samarati, P.: Specification and enforcement of classification and inference constraints. In: IEEE Symposium on Security and Privacy 1999, pp. 181\u2013195 (1999)","DOI":"10.1109\/SECPRI.1999.766913"},{"volume-title":"Finite Model Theory","year":"1995","author":"H.-D. Ebbinghaus","key":"4_CR16","unstructured":"Ebbinghaus, H.-D., Flum, J.: Finite Model Theory. Springer, Berlin (1995)"},{"key":"4_CR17","volume-title":"Fundamentals of Database Systems","author":"R. Elmasri","year":"2000","unstructured":"Elmasri, R., Navathe, S.B.: Fundamentals of Database Systems, 3rd edn. Addison-Wesley, Reading (2000)","edition":"3"},{"issue":"2","key":"4_CR18","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. ACM SIGKDD Explorations Newsletter\u00a04(2), 6\u201311 (2002)","journal-title":"ACM SIGKDD Explorations Newsletter"},{"issue":"4","key":"4_CR19","doi-asserted-by":"publisher","first-page":"1719","DOI":"10.2307\/2586808","volume":"64","author":"E. Graedel","year":"1999","unstructured":"Graedel, E.: On the restraining power of guards. Journal of Symbolic Logic\u00a064(4), 1719\u20131742 (1999)","journal-title":"Journal of Symbolic Logic"},{"key":"4_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07003-1","volume-title":"Elements of Finite Model Theory","author":"L. Libkin","year":"2004","unstructured":"Libkin, L.: Elements of Finite Model Theory. Springer, Berlin (2004)"},{"key":"4_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1987)"},{"volume-title":"Mathematical Logic","year":"1967","author":"J.R. Shoenfield","key":"4_CR22","unstructured":"Shoenfield, J.R.: Mathematical Logic. Addison-Wesley, Reading (1967)"},{"issue":"1","key":"4_CR23","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 Transactions on Database Systems\u00a08(1), 41\u201359 (1983)","journal-title":"ACM Transactions on Database Systems"},{"issue":"4","key":"4_CR24","doi-asserted-by":"publisher","first-page":"474","DOI":"10.1109\/69.109108","volume":"3","author":"T.A. Su","year":"1991","unstructured":"Su, T.A., Ozsoyoglu, G.: Controlling FD and MVD inferences in multilevel relational database systems. IEEE Trans. on Knowledge and Data Engineering\u00a03(4), 474\u2013485 (1991)","journal-title":"IEEE Trans. on Knowledge and Data Engineering"},{"issue":"4","key":"4_CR25","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 Transactions on Database Systems\u00a019(4), 626\u2013662 (1994)","journal-title":"ACM Transactions on Database Systems"}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11663881_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:12:49Z","timestamp":1619493169000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11663881_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540317821","9783540317845"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11663881_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}
