On the Automatic Analysis of Recursive Security Protocols with XOR.

Ralf Ksters, Tomasz Truderung

Browse the full STACS paper archive.