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