Additional Metadata
Keywords Semantics of natural language and programming, protocol analysis, Kripke models, knowledge
THEME Other (theme 6)
Citation
van Eijck, D.J.N. (2013, January). From Number Guessing Games to Security Protocol Analysis and Back.