Protocol insecurity with finite number of sessions is np-complete (0)

by M Rusinowitch, M Turuani
Venue:in: Proceedings of the 14th Computer Security Foundations Workshop