Formal approaches to information hiding: An analysis of interactive systems, statistical disclosure control, and refinement of specifications

Mário S. Alvim

In this thesis we consider the problem of information hiding in the scenarios of interactive systems, statistical disclosure control, and refinement of specifications. We apply qua…