Hyperproperties
Published in Journal of Computer Security • Sep 20, 2010
NobleIDNI9P54W22R21S94
Authors:,
Michael R. Clarkson
Fred B. Schneider
Abstract
Trace properties, which have long been used for reasoning about systems, are sets of execution traces. Hyperproperties, introduced here, are sets of trace properties. Hyperproperties can express security policies, such as secure information flow and service level agreements, that trace properties c ...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!