Automata-Based Analysis of Recursive Cryptographic Protocols.

Ralf Ksters, Thomas Wilke

Browse the full STACS paper archive.