@phdthesis{alvim:tel-00639948, TITLE = {{Formal approaches to information hiding : An analysis of interactive systems, statistical disclosure control, and refinement of specifications}}, AUTHOR = {Alvim, M{\'a}rio S.}, URL = {https://theses.hal.science/tel-00639948}, SCHOOL = {{Ecole Polytechnique X}}, YEAR = {2011}, MONTH = Oct, KEYWORDS = {Information flow ; interactive systems ; privacy ; information theory ; refinement of specifications ; quantitative methods ; Fuite d'information ; syst{\`e}mes interactifs ; vie priv{\'e}e ; differential privacy ; th{\'e}ory de l'information ; sp{\'e}cifications ; m{\'e}thodes quantitatifs ; non-determinism}, TYPE = {Theses}, PDF = {https://theses.hal.science/tel-00639948v1/file/msalvim-thesis.pdf}, HAL_ID = {tel-00639948}, HAL_VERSION = {v1}, }