Application of dependency graphs to security protocol analysis

statement of authorship
I. Tšahhirov, P. Laud
source
Symposium on Trustworthy Global Computing : Sophia-Antipolis, France, November 5-6, 2007
location of publication
[S.l.]
year of publication
pages
? p
conference name, date
3rd International Symposium on Trustworthy Global Computing, November 5-6, 2007
conference location
Sophia-Antipolis, France
language
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.