Cryptographic Protocols over Open Distributed Systems: A Taxonomy of Flaws and related Protocol Analysis Tools.

Stefanos Gritzalis, Diomidis Spinellis

Browse the full SAFECOMP paper archive.