An OBDD approach to enforce confidentiality and visibility constraints in data publishing

Journal of Computer Security

Volumn 20, Issue 5, 2012, Pages 463-508

  Ciriani, Valentina ^a   De Capitani Di Vimercati, Sabrina ^a   Foresti, Sara ^a   Livraga, Giovanni ^a   Samarati, Pierangela ^a  

^a UNIVERSITY OF MILAN   (Italy)

Author keywords

confidentiality and visibility constraints; fragmentation; maximum weighted clique; OBDDs; Privacy

Indexed keywords

BINARY DECISION DIAGRAMS; DATA PRIVACY; VISIBILITY;

COMPUTATION COSTS; FRAGMENTATION; INFORMATION PROTECTION; MAXIMUM WEIGHTED CLIQUE; OBDDS; ORDERED BINARY DECISION DIAGRAMS; PRIVACY PRESERVING DATA PUBLISHING; VISIBILITY CONSTRAINT;

HEURISTIC ALGORITHMS;

EID: 84872227035     PISSN: 0926227X     EISSN: None     Source Type: Journal    
DOI: 10.3233/JCS-2012-0449     Document Type: Article

References (31)

1. G. Aggarwal, M. Bawa, P. Ganesan, H. Garcia-Molina, K. Kenthapadi, R. Motwani, U. Srivastava, D. Thomas and Y. Xu, Two can keep a secret: a distributed architecture for secure database services, in: Proc. of CIDR 2005, Asilomar, CA, USA, January 2005.
2. J. Biskup, D.W. Embley and J. Lochner, Reducing inference control to access control for normalized database schemas, Inform. Process. Lett. 106(1) (2008), 8-12. (Pubitemid 351199847)
3. J. Biskup and J. Lochner, Enforcing confidentiality in relational databases by reducing inference control to access control, in: Proc. of ISC 2007, Valparaíso, Chile, October 2007.
4. J. Biskup, M. Preuß and L. Wiese, On the inference-proofness of database fragmentation satisfying confidentiality constraints, in: Proc. of ISC 2011, Xi'an, China, October 2011.
5. J. Biskup and L. Wiese, Combining consistency and confidentiality requirements in first-order databases, in: Proc. of ISC 2009, Pisa, Italy, September 2009.
6. J. Biskup and L. Wiese, A sound and complete model-generation procedure for consistent and confidentiality-preserving databases, Theoret. Comput. Sci. 412(31) (2011), 4044-4072.
7. R.E. Bryant, Graph-based algorithms for Boolean function manipulation, IEEE TC 35(8) (1986), 677-691.
8. S. Cimato, M. Gamassi, V. Piuri, R. Sassi and F. Scotti, Privacy-aware biometrics: design and implementation of a multimodal verification system, in: Proc. of ACSAC 2008, Anaheim, CA, USA, December 2008.
9. V. Ciriani, S. De Capitani di Vimercati, S. Foresti, S. Jajodia, S. Paraboschi and P. Samarati, Fragmentation and encryption to enforce privacy in data storage, in: Proc. of ESORICS 2007, Dresden, Germany, September 2007.
10. V. Ciriani, S. De Capitani di Vimercati, S. Foresti, S. Jajodia, S. Paraboschi and P. Samarati, Fragmentation design for efficient query execution over sensitive distributed databases, in: Proc. of ICDCS 2009, Montreal, Canada, June 2009.
11. V. Ciriani, S. De Capitani di Vimercati, S. Foresti, S. Jajodia, S. Paraboschi and P. Samarati, Keep a few: outsourcing data while maintaining confidentiality, in: Proc. of ESORICS 2009, Saint Malo, France, September 2009.
12. V. Ciriani, S. De Capitani di Vimercati, S. Foresti, S. Jajodia, S. Paraboschi and P. Samarati, Combining fragmentation and encryption to protect privacy in data storage, ACM TISSEC 13(3) (2010), 2211-2233.
13. V. Ciriani, S. De Capitani di Vimercati, S. Foresti, G. Livraga and P. Samarati, Enforcing confidentiality and data visibility constraints: an OBDD approach, in: Proc. of DBSec 2011, Richmond, VA, USA, July 2011.
14. E. Damiani, S. De Capitani di Vimercati, S. Jajodia, S. Paraboschi and P. Samarati, Balancing confidentiality and efficiency in untrusted relational DBMSs, in: Proc. of CCS 2003, Washington, DC, USA, October 2003.
15. S. De Capitani di Vimercati, S. Foresti, S. Jajodia, S. Paraboschi and P. Samarati, Fragments and loose associations: Respecting privacy in data publishing, Proc. VLDB Endowment 3(1) (2010), 1370-1381.
16. M. Gamassi, V. Piuri, D. Sana and F. Scotti, Robust fingerprint detection for access control, in: Proc. of RoboCare 2005, Rome, Italy, May 2005.
17. G. Gange, P.J. Stuckey and V. Lagoon, Fast set bounds propagation using a BDD-SAT hybrid, Int. J. Artif. Intell. 38(1) (2010), 307-338.
18. H. Hacigümüs, B. Iyer and S. Mehrotra, Providing database as a service, in: Proc. of ICDE 2002, San Jose, CA, USA, February 2002.
19. T. Hadzic, E.R. Hansen and B. O'Sullivan, On automata, MDDs and BDDs in constraint satisfaction, in: Proc. of ECAI 2008, Patras, Greece, July 2008.
20. D.E. Knuth, The Art of Computer Programming, Volume 4, Fascicle 1: Bitwise Tricks & Techniques; Binary Decision Diagrams, Addison-Wesley, Reading, MA, 2009.
21. M. Kurihara and H. Kondo, Efficient BDD encodings for partial order constraints with application to expert systems in software verification, in: Innovations in Applied Artificial Intelligence, B. Orchard, C. Yang and M. Ali, eds, Springer, Berlin, 2004, pp. 827-837. (Pubitemid 38761288)
22. C. Meinel and T. Theobald, Algorithms and Data Structures in VLSI Design, Springer-Verlag, Berlin, 1998.
23. S. Navathe, S. Ceri, G. Wiederhold and J. Dou, Vertical partitioning algorithms for database design, ACM TODS 9(4) (1984), 680-710. (Pubitemid 15456037)
24. S. Navathe and M. Ra, Vertical partitioning for database design: a graphical algorithm, in: Proc. of SIGMOD 1989, Portland, OR, USA, June 1989.
25. P.R.J. Östergård, A new algorithm for the maximum-weight clique problem, Nordic J. Comput. 8(4) (2001), 424-436.
26. P.R.J. Östergård, A fast algorithm for the maximum clique problem, Discrete Appl. Math. 120(1-3) (2002), 197-207.
27. P. Samarati, Protecting respondents' identities in microdata release, IEEE TKDE 13(6) (2001), 1010-1027. (Pubitemid 34035590)
28. P. Samarati and S. De Capitani di Vimercati, Data protection in outsourcing scenarios: issues and directions, in: Proc. of the ASIACCS 2010, Beijing, China, April 2010 (Invited paper).
29. F. Somenzi, CUDD: CU Decision Diagram package, Release 2.4.2, Department of Electrical and Computer Engineering, University of Colorado at Boulder, 2009.
30. A. Steele and K.B. Frikken, An index structure for private data outsourcing, in: Proc. of DBSec 2011, Richmond, VA, USA, July 2011.
31. L. Wiese, Horizontal fragmentation for data outsourcing with formula-based confidentiality constraints, in: Proc. of IWSEC 2010, Kobe, Japan, November 2010.