See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

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).
artikkel / peatükk 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 Web of Science Book Citation Index, Web of Science Conference Proceedings Citation Index, Scopus refereeritud kogumikud)
Teadmata

Viited terviktekstile