Application of dependency graphs to security protocol analysis

vastutusandmed
I. Tšahhirov, P. Laud
allikas
Symposium on Trustworthy Global Computing : Sophia-Antipolis, France, November 5-6, 2007
ilmumiskoht
[S.l.]
ilmumisaasta
leheküljed
? p
konverentsi nimetus, aeg
3rd International Symposium on Trustworthy Global Computing, November 5-6, 2007
konverentsi toimumispaik
Sophia-Antipolis, France
keel
inglise
Tšahhirov, I., Laud, P. Application of dependency graphs to security protocol analysis // Symposium on Trustworthy Global Computing : Sophia-Antipolis, France, November 5-6, 2007. [S.l.], 2007. ? p.