## Author:Mark Bickford
## KeyphrasesAuthentication protocols, Coq, Digital Library, event logic, formal proof, Kripke semantics, monotonicity, Nuprl, proof checker, Security, Verified theorem prover backend. |

| ||||

Copyright © 2012-2020 easychair.org. All rights reserved. |