On the Automatic Analysis of Recursive Security Protocols with XOR.

Ralf Küsters Tomasz Truderung On the Automatic Analysis of Recursive Security Protocols with XOR. 646-657 2007 conf/stacs/2007 STACS http://dx.doi.org/10.1007/978-3-540-70918-3_55 db/conf/stacs/stacs2007.html#KustersT07