3 citations · 6 across the 17 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2014
Temporal Logics for Hyperproperties
Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini +3
Two new logics for verification of hyperproperties are proposed. Hyperproperties characterize security policies, such as noninterference, as a property of sets of computation paths…
cs.LO2013★ 1 cited
A Temporal Logic of Security
Masoud Koleini, Michael R. Clarkson, Kristopher K. Micinski
A new logic for verification of security policies is proposed. The logic, HyperLTL, extends linear-time temporal logic (LTL) with connectives for explicit and simultaneous quantifi…