3 citations · 6 across the 17 of their papers we have counts for
1 paper · 1 filter
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…