2013
Elements of Epistemic Crypto Logic
Publication
Publication
Presented at the
LogiCIC Workshop, Amsterdam
Additional Metadata | |
---|---|
Epistemic Logic, Cryptographic Protocol Analysis, Model Checking | |
Other (theme 6) | |
LogiCIC Workshop | |
Organisation | Software Analysis and Transformation |
van Eijck, D.J.N. (2013, January). Elements of Epistemic Crypto Logic.
|