A user interface for a game-based protocol verification tool

Laud, Peeter; Tshahhirov, Ilja (2010). A user interface for a game-based protocol verification tool. Post-proceedings of FAST 2009, 5983: 6th International workshop in Formal Aspects of Security and Trust (FAST 2009). Ed. Degano, Pierpaolo; Etalle, Sandro; Guttman, Joshua. Springer-Verlag, 263−278. (Lecture Notes in Computer Science).
publitseeritud konverentsiettekanne
Laud, Peeter; Tshahhirov, Ilja
  • Inglise
Post-proceedings of FAST 2009
Degano, Pierpaolo; Etalle, Sandro; Guttman, Joshua
6th International workshop in Formal Aspects of Security and Trust (FAST 2009)
Springer-Verlag
5983
Lecture Notes in Computer Science
2010
263278
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Thomson Reuters Book Citation Index, Thomson Reuters Conference Proceedings Citation Index, Scopus refereeritud kogumikud)

Viited terviktekstile