The inference problem: Maintaining maximal availability in the presence of database updates


In this paper, we present the Dynamic Disclosure Monitor (DMon) architecture to prevent illegal inferences via database constraints. DMon extends the functionality of Disclosure Monitor (DiMon) to address database updates while preserving the soundness and completeness properties of the inference algorithms. We study updates from the perspective of… (More)
DOI: 10.1016/j.cose.2009.07.004


12 Figures and Tables

Slides referencing similar topics