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

by M Rusinowitch, M Turuani
Venue:In Proceedings of the 14th IEEE Computer Security Foundations Workshop. IEEE Comp