Controlled query evaluation with open queries for a decidable relational submodel

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

Volumn 3861 LNCS, Issue , 2006, Pages 43-62

  Biskup, Joachim ^a   Bonatti, Piero ^b  

^a TU DORTMUND UNIVERSITY   (Germany)

^b UNIVERSITY OF NAPLES FEDERICO II   (Italy)

Author keywords

Bernays Sch nfinkel class; Complete information system; Confidentiality; Controlled query evaluation; Domain independent query; Finite model theory; First order logic; Implication problem; Lying; Open query; Refusal; Relational database; Safe query

Indexed keywords

COMPUTATIONAL METHODS; CONTROL SYSTEMS; DECISION MAKING; FINITE AUTOMATA; FORMAL LOGIC; INFORMATION TECHNOLOGY; MATHEMATICAL MODELS; PROBLEM SOLVING; RELATIONAL DATABASE SYSTEMS;

COMPLETE INFORMATION SYSTEM; CONFIDENTIALITY; CONTROLLED QUERY EVALUATION; DOMAIN-INDEPENDENT QUERY; FIRST-ORDER LOGIC; IMPLICATION PROBLEM; LYING; OPEN QUERY; REFUSAL; SAFE QUERY;

QUERY LANGUAGES;

EID: 33745644253     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11663881_4     Document Type: Conference Paper

References (25)

1. Abiteboul, S., Hull, R, Vianu, V.: Foundations of Databases, Addison-Wesley, 1995.
2. Ackermann, W.: Solvable Cases of the Decision Problem, North-Holland, Amsterdam, 1968.
3. Andreka, H., Nemeti, I., van Benthem, J.: Modal languages and bounded fragments of predicate logic, Journal of Philosophical Logic 27,3 (1998), pp. 217-274.
4. Biskup, J.: For unknown secrecies refusal is better than lying, Data and Knowledge Engineering, 33 (2000), pp. 1-23.
5. Biskup, J., Bonatti, P.A.: Lying versus refusal for known potential secrets, Data and Knowledge Engineering, 38 (2001), pp. 199-222.
6. Biskup, J., Bonatti, P.A.: Controlled query evaluation for known policies by combining lying and refusal, Annals of Mathematics and Artificial Intelligence, 40 (2004), pp. 37-62.
7. Biskup, J., Bonatti, P.A.: Controlled query evaluation for enforcing confidentiality in complete information systems, Int. Journal of Information Security 3,1 (2004), pp. 14-27.
8. Biskup, J., Weibert, T.: Refusal in incomplete databases, Research Directions in Data and Applications Security XVII, Kluwer, Boston etc., 2004, pp. 143-157.
9. Biskup, J., Weibert, T.: Keeping secrets in incomplete databases, Workshop on Foundations of Computer Security, LICS 05, http://www.cs.chalmers. se/~andrei/FCS05/, Chicago, 2005.
10. Bonatti, P.A., Kraus, S., Subrahmanian, V.S.: Foundations of secure deductive databases, IEEE Transactions on Knowledge and Data Engineering 7,3 (1995), pp. 406-422.
11. Brodsky, A., Farkas, C., Jajodia, S.: Secure databases: constraints, inference channels, and monitoring disclosures, IEEE Transactions on Knowledge and Data Engineering 12,6 (2000), pp. 900-919.
12. Brodsky, A., Farkas, C., Wijesekera, D., Wang, X. S.: Constraints, inference channels and secure databases, Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000. Lecture Notes in Computer Science 1894, Springer, Berlin etc., 2000, pp. 98-113.
13. Cuppens, F., Gabillon, A.: Cover story management, Data and Knowledge Engineering 37 (2001), pp. 177-201.
14. Dawson, S., De Capitani di Vimercati, S., Lincoln, P., Samarati, P.: Minimal data upgrading to prevent inference and association attacks, Proc. of the 18th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS), 1999, pp. 114-125.
15. Dawson, S., De Capitani di Vimercati, S., Samarati, P.: Specification and enforcement of classification and inference constraints, IEEE Symposium on Security and Privacy 1999, pp. 181-195.
16. Ebbinghaus, H.-D., Flum, J.: Finite Model Theory, Springer, Berlin etc., 1995.
17. Elmasri, R., Navathe, S.B.: Fundamentals of Database Systems (3rd edition), Addison-Wesley, 2000.
18. Farkas, C., Jajodia, S.: The inference problem: a survey, ACM SIGKDD Explorations Newsletter 4,2 (2002), pp. 6-11.
19. Graedel, E.: On the restraining power of guards, Journal of Symbolic Logic 64,4 (1999), pp. 1719-1742.
20. Libkin, L.: Elements of Finite Model Theory, Springer, Berlin etc., 2004.
21. Lloyd, J.W.: Foundations of Logic Programming, Springer, 1987.
22. Shoenfield, J.R.: Mathematical Logic, Addison-Wesley, Reading etc., 1967.
23. Sicherman, G.L., de Jonge, W., van de Riet, R.P.: Answering queries without revealing secrets, ACM Transactions on Database Systems 8,1 (1983), pp. 41-59.
24. Su, T.A., Ozsoyoglu, G.: Controlling FD and MVD inferences in multilevel relational database systems. IEEE Trans. on Knowledge and Data Engineering, 3(4):474-485, (1991).
25. Winslett, M, Smith, K., Qian, X.: Formal query languages for secure relational databases, ACM Transactions on Database Systems 19,4 (1994), pp. 626-662.