Browsing Computer Science by Author "Agrawal, Shreya"
Now showing items 1-1 of 1
-
Monitoring and Enforcement of Safety Hyperproperties
Agrawal, Shreya (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 ...