Title :
Protocol insecurity with finite number of sessions is NP-complete
Author :
Rusinowitch, Michaël ; Turuani, Mathieu
Author_Institution :
Universite Henri Poincare
Keywords :
Authentication; Automata; Concrete; Cryptography; Electronic equipment testing; Logic programming; Polynomials; Protocols; Reactive power; Security;
Conference_Titel :
Computer Security Foundations Workshop, 2001. Proceedings. 14th IEEE
Print_ISBN :
0-7695-1147-3
DOI :
10.1109/CSFW.2001.930145
