A user interface for a game-based protocol verification tool

vastutusandmed
Peeter Laud and Ilja Tšahhirov
allikas
Formal Aspects in Security and Trust : 6th International Workshop : FAST 2009, Eindhoven, Netherlands, November 5-6, 2009 : Revised Selected Papers
ilmumiskoht
Berlin
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 263-278 : ill
seeria-sari
Security and cryptology ; 5983
konverentsi nimetus, aeg
6th International Workshop on Formal Aspects of Security and Trust (FAST 2009), 5-6 November, 2011
konverentsi toimumispaik
Eindhoven, Netherlands
ISBN
978-3-642-12458-7
märkused
Bibliogr.: 39 ref
keel
inglise
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-Verlag, 2010. p. 263-278 : ill. (Security and cryptology ; 5983). https://research.cyber.ee/~peeter/research/fast09.pdf