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