Application of Dependency Graphs to Security Protocol Analysis

Tšahhirov, Ilja; Laud, Peeter (2008). Application of Dependency Graphs to Security Protocol Analysis. In: Barthe, Gilles; Fournet, Cedric (Ed.). Trustworthy Global Computing (TGC 2007), Post-proceedings (294−311).. Berlin, Heidelberg: Springer. (Lecture Notes in Computer Science).
kogumikuartikkel/peatükk raamatus/kogumikus
Tšahhirov, Ilja; Laud, Peeter
  • Inglise
Trustworthy Global Computing (TGC 2007), Post-proceedings
Barthe, Gilles; Fournet, Cedric
Berlin, Heidelberg
Springer
4912
Lecture Notes in Computer Science
2008
294311
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