DocumentCode

3195654

Title

Protocol insecurity with finite number of sessions is NP-complete

Author

Rusinowitch, Michaël ; Turuani, Mathieu

Author_Institution

Universite Henri Poincare

fYear

2001

fDate

2001

Firstpage

174

Lastpage

187

Keywords

Authentication; Automata; Concrete; Cryptography; Electronic equipment testing; Logic programming; Polynomials; Protocols; Reactive power; Security;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Security Foundations Workshop, 2001. Proceedings. 14th IEEE

ISSN

1063-6900

Print_ISBN

0-7695-1147-3

Type

conf

DOI

10.1109/CSFW.2001.930145

Filename

930145