4 citations · 6 across the 4 of their papers we have counts for
Showing 2014Show 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.LO2014★ 1 cited
Verification of agent knowledge in dynamic access control policies
Masoud Koleini, Eike Ritter, Mark Ryan
We develop a modeling technique based on interpreted systems in order to verify temporal-epistemic properties over access control policies. This approach enables us to detect infor…