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

by Michaël Rusinowitch , Mathieu Turuani
Venue:Theoretical Computer Science
Citations:157 - 13 self