Application of dependency graphs to security protocol analysis
autor
Tšahhirov, Ilja
Laud, Peeter
vastutusandmed
I. Tšahhirov, P. Laud
allikas
Symposium on Trustworthy Global Computing : Sophia-Antipolis, France, November 5-6, 2007
ilmumiskoht
[S.l.]
ilmumisaasta
2007
leheküljed
? p
konverentsi nimetus, aeg
3rd International Symposium on Trustworthy Global Computing, November 5-6, 2007
konverentsi toimumispaik
Sophia-Antipolis, France
leitav
https://link.springer.com/chapter/10.1007/978-3-540-78663-4_20
märksõna
graafid
krüptograafia
staatika
analüüs
keel
inglise