Michael R. Clarkson
- Hyperproperties
2010/09/20 by Michael R. Clarkson, Fred B. Schneider · 19 citations
Computer Science · Social Sciences · #Access Control and Trust #Petri Nets in System Modeling #Security and Verification in Computing
- Temporal Logics for Hyperproperties
2014/01/17 by Michael R. Clarkson, Bernd Finkbeiner, Clarkson, Michael R. +9 · 13 citations
Computer Science · Social Sciences · #Access Control and Trust #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems