Semantics of natural language and programming, protocol analysis, Kripke models, knowledge
Other (theme 6)
Software Analysis and Transformation

van Eijck, D.J.N. (2013, January). From Number Guessing Games to Security Protocol Analysis and Back.