Browsing Mathematics (Faculty of) by Subject "Temporal Logic"
Now showing items 1-1 of 1
-
Monitoring and Enforcement of Safety Hyperproperties
(University of Waterloo, 2015-10-30)Certain important security policies such as information flow characterize system-wide behaviors and are not properties of individual executions. It is known that such security policies cannot be expressed in trace-based ...