%0 Conference Proceedings %T Enforcing Confidentiality and Data Visibility Constraints: An OBDD Approach %+ Università degli Studi di Milano = University of Milan (UNIMI) %A Ciriani, Valentina %A Capitani Di Vimercati, Sabrina, De %A Foresti, Sara %A Livraga, Giovanni %A Samarati, Pierangela %Z Part 3: Privacy-Preserving Data Applications I %< avec comité de lecture %( Lecture Notes in Computer Science %B 23th Data and Applications Security (DBSec) %C Richmond, VA, United States %Y Yingjiu Li %I Springer %3 Data and Applications Security and Privacy XXV %V LNCS-6818 %P 44-59 %8 2011-07-11 %D 2011 %R 10.1007/978-3-642-22348-8_6 %K Privacy %K fragmentation %K confidentiality and visibility constraints %K OBDDs %Z Computer Science [cs]Conference papers %X The problem of enabling privacy-preserving data releases has become more and more important in the last years thanks to the increasing needs of sharing and disseminating information. In this paper we address the problem of computing data releases in the form of fragments (vertical views) over a relational table, which satisfy both confidentiality and visibility constraints, expressing needs for information protection and release, respectively. We propose a modeling of constraints and of the data fragmentation problem based on Boolean formulas and Ordered Binary Decision Diagrams (OBDDs). Exploiting OBDDs, we efficiently manipulate Boolean formulas, thus easily computing data fragments that satisfy the constraints. %G English %Z TC 11 %Z WG 11.3 %2 https://inria.hal.science/hal-01586589/document %2 https://inria.hal.science/hal-01586589/file/978-3-642-22348-8_6_Chapter.pdf %L hal-01586589 %U https://inria.hal.science/hal-01586589 %~ IFIP-LNCS %~ IFIP %~ IFIP-TC %~ IFIP-WG %~ IFIP-TC11 %~ IFIP-WG11-3 %~ IFIP-DBSEC %~ IFIP-LNCS-6818