Now showing items 1-2 of 2

  • Hyperproperties 

    Clarkson, Michael R.; Schneider, Fred B. (2008-01-27)
    Properties, which have long been used for reasoning about systems, are sets of traces. Hyperproperties, introduced here, are sets of properties. Hyperproperties can express security policies, such as secure information ...
  • Hyperproperties 

    Clarkson, Michael R.; Schneider, Fred B. (2008-12-22)
    Properties, which have long been used for reasoning about systems, are sets of traces. Hyperproperties, introduced here, are sets of properties. Hyperproperties can express security policies, such as secure information ...