A formal analysis of information disclosure in data exchange

Journal of Computer and System Sciences

Volumn 73, Issue 3, 2007, Pages 507-534

  Miklau, Gerome ^a   Suciu, Dan ^b  

^a University of Massachusetts Amherst   (United States)

^b University of Washington   (United States)

Author keywords

Database security; Inference control; Information disclosure; Privacy

Indexed keywords

DATA TRANSFER; FORMAL LOGIC; PUBLIC KEY CRYPTOGRAPHY; QUERY LANGUAGES; SECURITY OF DATA;

DATA EXCHANGE; DATABASE SECURITY; INFERENCE CONTROL; INFORMATION DISCLOSURE; PROBABILITY THEORY;

DISTRIBUTED DATABASE SYSTEMS;

EID: 33845891886     PISSN: 00220000     EISSN: 10902724     Source Type: Journal    
DOI: 10.1016/j.jcss.2006.10.004     Document Type: Article

References (27)

1. Adam N.R., and Wortmann J.C. Security-control methods for statistical databases. ACM Comput. Surv. 21 4 (1989) 515-556
2. Rakesh Agrawal, Alexandre Evfimievski, Ramakrishnan Srikant, Information sharing across private databases, in: Conference on Management of Data (SIGMOD), 2003, pp. 86-97
3. François Bancilhon, Nicolas Spyratos, Protection of information in relational data bases, in: Conference on Very Large Databases (VLDB), 1977, pp. 494-500
4. François Bancilhon, Nicolas Spyratos, Algebraic versus probabilistic independence in data bases, in: Principles of Database Systems (PODS), 1985, pp. 149-153
5. Bertino E., Jajodia S., and Samarati P. Database security: Research and practice. Inform. Syst. 20 7 (1995) 537-556
6. Blakeley J.A., Coburn N., and Larson P.-A. Updating derived relations: Detecting irrelevant and autonomously computable updates. ACM Trans. Database Systems (TODS) 14 3 (1989) 369-400
7. Nilesh Dalvi, Gerome Miklau, Dan Suciu, Asymptotic conditional probabilities for conjunctive queries, in: Proceedings of the International Conference on Database Theory (ICDT), 2005
8. Denning D. Cryptography and Data Security (1982), Addison-Wesley
9. Alin Deutsch, Yannis Papakonstantinou, Privacy in database publishing, in: Proceedings of the International Conference on Database Theory (ICDT), 2005
10. Elkan C. Independence of logic database queries and update. Principles of Database Systems (PODS) (1990), ACM Press 154-160
11. Evfimievski A., Gehrke J., and Srikant R. Limiting privacy breaches in privacy preserving data mining. Principles of Database Systems (PODS) (2003), ACM Press 211-222
12. Fagin R. Probabilities on finite models. Notices Amer. Math. Soc. October (1972) A714
13. Fagin R. Probabilities on finite models. J. Symbolic Logic 41 1 (1976)
14. Fortuin C.M., Kasteleyn P.W., and Ginibre J. Correlation inequalities on some partially ordered sets. Comm. Math. Phys. 22 (1971) 89-103
15. Lise Getoor, Benjamin Taskar, Daphne Koller, Selectivity estimation using probabilistic models, in: SIGMOD, 2001
16. Ashish Gupta, Yehoshua Sagiv, Jeffrey D. Ullman, Jennifer Widom, Constraint checking with partial information, in: Principles of Database Systems (PODS), 1994, pp. 45-55
17. Hakan Hacigumus, Balakrishna R. Iyer, Chen Li, Sharad Mehrotra, Executing SQL over encrypted data in the database service provider model, in: SIGMOD Conference, 2002
18. Halevy A. Answering queries using views: A survey. VLDB J. 10 4 (2001) 270-294
19. D. Koller, A. Pfeffer, Probabilistic frame-based systems, in: Conference on Artificial Intelligence, 1998, pp. 580-587
20. Alon Y. Levy, Yehoshua Sagiv, Queries independent of updates, in: Conference on Very Large Data Bases (VLDB), 1993, pp. 171-181
21. Gerome Miklau, Dan Suciu, Controlling access to published data using cryptography, in: Conference on Very Large Databases (VLDB), September 2003, pp. 898-909
22. Miklau G., and Suciu D. A formal analysis of information disclosure in data exchange. Conference on Management of Data (SIGMOD) (2004), ACM Press 575-586
23. Schneier B. Applied Cryptography. second ed. (1996), Wiley
24. Shannon C.E. Communication theory of secrecy systems. Bell Syst. Techn. J. 28 (1949) 656-715
25. E. Shannon C. A mathematical theory of communication. Bell Syst. Techn. J. 27 3 (1948) 379-423
26. Sweeney L. k-Anonymity: A model for protecting privacy. Internat. J. Uncertain. Fuzziness Knowledge-Based Systems 10 5 (2002) 557-570
27. Xiaochun Yang, Chen Li, Secure XML publishing without information leakage in the presence of data inference, in: Conference on Very Large Databases (VLDB), 2004, pp. 96-107