Now showing items 1-2 of 2

    • Quantification And Formalization Of Security 

      Clarkson, Michael (2010-04-09)
      Computer security policies often are stated informally in terms of confidentiality, integrity, and availability of information and resources; these policies can be qualitative or quantitative. To formally quantify confidentiality ...
    • Quantification of Integrity 

      Clarkson, Michael; Schneider, Fred (2010-02-12)
      Two information-flow integrity measures are introduced: contamination and suppression. The former is dual to information-flow confidentiality, and the latter is analogous to the standard model of channel reliability from ...