A formal model of data privacy

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

Volumn 4378 LNCS, Issue , 2007, Pages 400-408

  Stouppa, Phiniki ^a   Studer, Thomas ^a  

^a UNIVERSITY OF BERN   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINED OPTIMIZATION; DATA PRIVACY; DATA STRUCTURES; INFORMATION SYSTEMS; RELATIONAL DATABASE SYSTEMS; USER INTERFACES;

NON-PUBLIC UNDERLYING DATA; PRIVACY PROBLEMS;

FORMAL LANGUAGES;

EID: 38049174644     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-70881-0_34     Document Type: Conference Paper

References (25)

1. R. Agrawal, J. Kiernan, R. Srikant, and Y. Xu. Hippocratic databases. In Proc of 28th VLDB Conference, 2002.
2. M. Arenas and L. Libkin. XML data exchange: Consistency and query answering. In PODS, pages 13-24, 2005.
3. F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook. Cambridge University Press, 2003.
4. C. Beeri and M. Y. Vardi. A proof procedure for data dependencies. Journal of the ACM, 31(4):718-741, 1984.
5. J. Biskup and P. A. Bonatti. Controlled query evaluation for enforcing confidentiality in complete information systems. International Journal of Information Security, 3(1):14-27, 2004.
6. P. A. Bonatti, S. Kraus, and V. s. Subrahmanian. Foundations of secure deductive databases. Transactions on Knowledge and Data Engineering, 7(3):406-422, 1995.
7. A. Cali, D. Calvanese, G. D. Giacomo, and M. Lenzerini. Data integration under integrity constraints. In Proc. of CAiSE 2002, volume 2348 of LNCS, pages 262-279. Springer, 2002.
8. Council of Europe. Convention for the protection of individuals with regard to automatic processing of personal data, 1981. Available at http ://conventions.coe.int/Treaty/en/Treaties/Html/108.htm.
9. B. Cuenca Grau, B. Parsia, E. Sirin, and A. Kalyanpur. Automated partitioning of owl ontologies using e-connections. In Proceedings of Int. Workshop on Description Logics, 2005.
10. E. Damiani, S. De Capitani di Vimercati, S. Paraboschi, and P. Samarati. Controlling access to XML documents. IEEE Internet Computing, 5(6): 18-28, 2001.
11. A. Deutsch and Y. Papakonstantinou. Privacy in database publishing. In ICDT, 2005.
12. J. Dix, W. Faber, and V. Subrahmanian. The relationship between reasoning about privacy and default logics. In LPAR, pages 637-650. Springer, 2005.
13. R. Fagin, P. G. Kolaitis, R. Miller, and L. Popa. Data exchange: Semantics and query answering. Theoretical Computer Science, 336:89-124, 2005.
14. A. Y. Halevy. Answering queries using views: A survey. The VLDB Journal, 10(4):270-294, 2001.
15. O. Kutz, C. Lutz, F. Wolter, and M. Zakharyaschev. E-connections of abstract description systems. Artifical Intelligence, 156(1):1-73, 2004.
16. M. Lenzerini. Data integration: a theoretical perspective. In ACM PODS '02, pages 233-246. ACM Press, 2002.
17. A. Machanavajjhala and J. Gehrke. On the efficiency of checking perfect privacy. To appear in Proceedings of PODS 2006.
18. G. Miklau and D. Suciu. A formal analysis of information disclosure in data exchange. In SIGMOD, 2004.
19. OECD. Guidelines on the protection of privacy and transborder flows of personal data, 1980. Available at http://www.oecd.org.
20. Privacy International. Overview of privacy, 2004. Available at http ://www.privacyinternational.org/privhroverview2004.
21. R. Reiter. Towards a logical reconstruction of relational database theory. In M. Brodie, J. Mylopoulos, and J. Schmidt, editors, On Conceptual Modelling, Perspectives from Artificial Intelligence, Databases, and Programming Languages, pages 191-233. 1982.
22. P. Samarati and L. Sweeney. Generalizing data to provide anonymity when disclosing information (abstract). In PODS, page 188. ACM Press, 1998.
23. K. Stoffel and T. Studer. Provable data privacy. In K. Viborg, J. Debenham, and R. Wagner, editors, Database and Expert Systems Applications DEXA 2005, volume 3588 of LNCS, pages 324-332. Springer, 2005.
24. R. van der Meyden. Logical approaches to incomplete information: a survey. In Logics for databases and information systems, pages 307-356. Kluwer Academic Publishers, 1998.
25. M. Winslett, K. Smith, and X. Qian. Formal query languages for secure relational databases. ACM Trans. Database Syst., 19(4):626-662, 1994.