An NP decision procedure for protocol insecurity with xor (2003)

by Y Chevalier, R Kuester, M Rusinowitch, M Turani
Venue:In Proceedings of the 18th Annual IEEE Symposium on Logic In Computer Science (LICS’03