A user interface for a game-based protocol verification tool
author
Laud, Peeter
Tšahhirov, Ilja
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
Springer
year of publication
2010
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
url
https://research.cyber.ee/~peeter/research/fast09.pdf
subject term
mängud
kasutajaliidesed
krüptograafia
ISBN
978-3-642-12458-7
notes
Bibliogr.: 39 ref
language
inglise