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

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