Application of dependency graphs to security protocol analysis

statement of authorship
Ilja Tšahhirov and Peeter Laud
source
Trustworthy global computing
location of publication
Berlin
publisher
year of publication
pages
p. 294-311 : ill
series
Lecture notes in computer science ; 4912
ISSN
0302-9743
ISBN
978-3-540-7862-7
notes
Bibliogr.: 28 ref
language
inglise
Tšahhirov, I., Laud, P. Application of dependency graphs to security protocol analysis // Trustworthy global computing. Berlin : Springer, 2008. p. 294-311 : ill. (Lecture notes in computer science ; 4912). https://link.springer.com/chapter/10.1007/978-3-540-78663-4_20