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 ...