4 citations · 6 across the 4 of their papers we have counts for
4 papers
Fractal: Automated Application Scaling
Masoud Koleini, Carlos Oviedo, Derek McAuley +5
To date, cloud applications have used datacenter resources through manual configuration and deployment of virtual machines and containers. Current trends see increasing use of micr…
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…
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…
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…