Protocol insecurity with finite number of sessions is NP-complete (2001)

by M Rusinowitch, M Turuani
Venue:In Proc. 14th Computer Security Foundations Workshop (CSFW’01