Towards controlled query evaluation for incomplete first-order databases

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5956 LNCS, Issue , 2010, Pages 230-247

  Biskup, Joachim ^a   Tadros, Cornelia ^a   Wiese, Lena ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONFIDENTIAL INFORMATION; DATA MODELS; FIRST ORDER LOGIC; FIRST-ORDER; IMPLICATION PROBLEM; INCOMPLETE DATA; INFERENCE CONTROL; MODAL LOGIC; QUERY EVALUATION;

FORMAL LOGIC; MODELS;

KNOWLEDGE REPRESENTATION;

EID: 77951113434     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-11829-6_16     Document Type: Conference Paper

References (22)

1. Biskup, J., Bonatti, P.: Controlled query evaluation for enforcing confidentiality in complete information systems. International Journal of Information Security 3, 14-27 (2004)
2. Biskup, J., Bonatti, P.: Lying versus refusal for known potential secrets. Data & Knowledge Engineering 38, 199-222 (2001)
3. Biskup, J., Bonatti, P.: Controlled query evaluation for known policies by combining lying and refusal. Annals of Mathematics and Artificial Intelligence 40, 37-62 (2004)
4. Biskup, J., Bonatti, P.: Controlled query evaluation with open queries for a decidable relational submodel. Annals of Mathematics and Artificial Intelligence 50, 39-77 (2007)
5. Biskup, J., Wiese, L.: Preprocessing for controlled query evaluation with availability policy. Journal of Computer Security 16(4), 477-494 (2008)
6. Biskup, J., Lochner, J.H.: Enforcing confidentiality in relational databases by reducing inference control to access control. In: Garay, J.A., Lenstra, A.K., Mambo, M., Peralta, R. (eds.) ISC 2007. LNCS, vol.4779, pp. 407-422. Springer, Heidelberg (2007)
7. Biskup, J., Gogolin, C., Seiler, J., Weibert, T.: Requirements and protocols for inference-proof interactions in information systems. In: Backes, M., Ning, P. (eds.) Computer Security - ESORICS 2009. LNCS, vol.5789, pp. 285-302. Springer, Heidelberg (2009)
8. Biskup, J., Seiler, J., Weibert, T.: Controlled query evaluation and inference-free view updates. In: Gudes, E., Vaidya, J. (eds.) Data and Applications Security XXIII. LNCS, vol.5645, pp. 1-16. Springer, Heidelberg (2009)
9. Biskup, J., Weibert, T.: Confidentiality policies for controlled query evaluation. In: Barker, S., Ahn, G.-J. (eds.) Data and Applications Security 2007. LNCS, vol.4602, pp. 1-13. Springer, Heidelberg (2007)
10. Biskup, J., Weibert, T.: Keeping secrets in incomplete databases. International Journal of Information Security 7(3), 199-217 (2008)
11. Weibert, T.: A Framework for Inference Control in Incomplete Logic Databases. PhD thesis, Technische Universität Dortmund (2008), http://hdl.handle.net/2003/25116
12. Wolter, F., Zakharyaschev, M.: Decidable fragments of first-order modal logics. The Journal of Symbolic Logic 66(3), 1415-1438 (2001)
13. Reiter, R.: What should a database know? Logic Programming 14, 127-153 (1992)
14. Levesque, H.L.: Foundations of a functional approach to knowledge representation. Artificial Intelligence 23, 155-212 (1984)
15. Halpern, J., Moses, Y.: A guide to the modal logics of knowledge and belief: Preliminary draft. In: Ninth International Joint Conference on Artificial Intelligence, pp. 480-490 (1985)
16. Fitting, M., Mendelsohn, R.L.: First-Order Modal Logic. Synthese Library, vol.277. Kluwer Academic Publishers, Dordrecht (1998)
17. Tadros, C.: Kontrollierte Anfrageauswertung in unvollständigen pr̈adikatenlogischen Datenbanken (in German). Diplomarbeit, Technische Universität Dortmund (2008), http://ls6-www.cs.uni-dortmund.de/uploads/tx- ls6ext/ Tadros2008Kontrollierte.pdf
18. Ramachandran, D., Amir, E.: Compact propositional encodings of first-order theories. In: Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI 2005, pp. 1579-1580 (2005)
19. Bonatti, P.A., Kraus, S., Subrahmanian, V.S.: Foundations of secure deductive databases. IEEE Transactions on Knowledge and Data Engineering 7, 406-422 (1995)
20. Yang, X., Li, C.: Secure XML publishing without information leakage in the presence of data inference. In: Proceedings of the Thirtieth International Conference on Very Large Data Bases, VLDB 2004, pp. 96-107 (2004)
21. Brodsky, A., Farkas, C., Jajodia, S.: Secure databases: Constraints, inference channels and monitoring disclosures. IEEE Transactions on Knowledge and Data Engineering 12(6), 900-919 (2000)
22. Gammer, I., Amir, E.: Solving satisfiability in ground logic with equality by efficient conversion to propositional logic. In: Miguel, I., Ruml,W. (eds.) SARA 2007. LNCS (LNAI), vol.4612, pp. 169-183. Springer, Heidelberg (2007)