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 quantitative approaches to information flow in the first two cases, and we propose improvements for the usual solutions based on process equivalences for the third case. In the first scenario we consider the problem of d...

Information disclosure has become a ubiquitous component of contemporary governance. This study examines how information about the performance regulated entities, which also implicates relevant government agencies, affects bureaucratic behaviors. In context Clean Air Act (CAA) — primary law that regulates air pollution in United States, this shows regulators significantly increased CAA regulato...

This paper contributes to the investigation of object-sensitive information flow properties for sequential Java, i.e., properties that take into account information leakage through objects, as opposed to primitive values. We present two improvements to a popular object-sensitive noninterference property. Both reduce the burden on analysis and monitoring tools. The second contribution is a forma...

Information theory provides a range of useful methods to analyse probability distributions and these techniques have been successfully applied to measure information flow and the loss of anonymity in secure systems. However, previous work has tended to assume that the exact probabilities of every action are known, or that the system is non-deterministic. In this paper, we show that measures of ...