A user interface for a game-based protocol verification tool
author
statement of authorship
Peeter Laud and Ilja Tšahhirov
source
Formal Aspects in Security and Trust : 6th International Workshop : FAST 2009, Eindhoven, Netherlands, November 5-6, 2009 : Revised Selected Papers
location of publication
Berlin
publisher
year of publication
pages
p. 263-278 : ill
series
Security and cryptology ; 5983
conference name, date
6th International Workshop on Formal Aspects of Security and Trust (FAST 2009), 5-6 November, 2011
conference location
Eindhoven, Netherlands
ISBN
978-3-642-12458-7
notes
Bibliogr.: 39 ref
language
inglise
subject term
Laud, P., Tšahhirov, I. A user interface for a game-based protocol verification tool // Formal Aspects in Security and Trust : 6th International Workshop : FAST 2009, Eindhoven, Netherlands, November 5-6, 2009 : Revised Selected Papers. Berlin : Springer, 2010. p. 263-278 : ill. (Security and cryptology ; 5983).