Two Applications of Epistemic Logic in Computer Security - researchr publication

researchr

You are not signed in
Sign in
Sign up

Ron van der Meyden. Two Applications of Epistemic Logic in Computer Security. In Johan van Benthem, Amitabha Gupta, Rohit Parikh, editors, Proof, Computation and Agency - Logic at the Crossroads. Volume 352 of Synthese library, pages 133-144, Springer, 2011. [doi]

Abstract is missing.

runs on WebDSL