![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 2076 || Symbolic Trace Analysis of Cryptographic Protocols
Orejas, Fernando, Spirakis, Paul G., van Leeuwen, JanVolume:
10.1007/3-
Year:
2001
Language:
english
DOI:
10.1007/3-540-48224-5_55
File:
PDF, 201 KB
english, 2001