1 code implementation • 24 Jun 2013 • Masoud Koleini, Michael R. Clarkson, Kristopher K. Micinski
A new logic for verification of security policies is proposed.
Logic in Computer Science Cryptography and Security
1 code implementation • 17 Jan 2014 • Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez
Standard temporal logics such as LTL, CTL, and CTL* can refer only to a single path at a time, hence cannot express many hyperproperties of interest.
Logic in Computer Science