Now showing items 1-2 of 2

    • Quantification of Integrity 

      Clarkson, Michael R.; Schneider, Fred B. (2011-01-12)
      Three integrity measures are introduced: contamination, channel suppression, and program suppression. Contamination is a measure of how much untrusted information reaches trusted outputs; it is the dual of leakage, which ...
    • When not all bits are equal: Worth-based information flow 

      Alvim, Mário S.; Scedrov, Andre; Schneider, Fred B. (2013-04-01)
      Only recently have approaches to quantitative information flow started to challenge the presumption that all leaks involving a given number of bits are equally harmful. This paper proposes a framework to capture the semantics ...