"An NP Decision Procedure for Protocol Insecurity with XOR."

Yannick Chevalier et al. (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics