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