An NP decision procedure for protocol insecurity with XOR. (2005)

by Yannick Chevalier, Ralf Kusters, Michael Rusinowitch, Mathieu Turuani
Venue:Theor. Comput. Sci.,