Additional Metadata
Keywords Epistemic Logic, Cryptographic Protocol Analysis, Model Checking
THEME Other (theme 6)
Conference LogiCIC Workshop
Citation
van Eijck, D.J.N. (2013, January). Elements of Epistemic Crypto Logic.