Application of dependency graphs to security protocol analysis

vastutusandmed
Ilja Tšahhirov and Peeter Laud
allikas
Trustworthy global computing
ilmumiskoht
Berlin
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 294-311 : ill
seeria-sari
Lecture notes in computer science ; 4912
ISSN
0302-9743
ISBN
978-3-540-7862-7
märkused
Bibliogr.: 28 ref
keel
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