Application of Dependency Graphs to Security Protocol Analysis

Tšahhirov, I.; Laud, P. (2007). Application of Dependency Graphs to Security Protocol Analysis. Symposium on Trustworthy Global Computing, SOPHIA-ANTIPOLIS FRANCE, November 5-6. Ed. Gilles Barthe, Cedric Fournet.
publitseeritud konverentsiettekanne
Tšahhirov, I.; Laud, P.
  • Inglise
Gilles Barthe, Cedric Fournet
Symposium on Trustworthy Global Computing, SOPHIA-ANTIPOLIS FRANCE, November 5-6
2007
Ilmunud
3.4. Artiklid/ettekanded, mis on avaldatud valdkonda 3.1. mittekuuluvates konverentsikogumikes

Viited terviktekstile