Protocol Insecurity with Finite Number of Sessions is NP-complete - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2001

Protocol Insecurity with Finite Number of Sessions is NP-complete

Abstract

We show that protocol insecurity is in NP for bounded sessions and non-atomic keys.
No file

Dates and versions

inria-00100411 , version 1 (26-09-2006)

Identifiers

Cite

Michaël Rusinowitch, Mathieu Turuani. Protocol Insecurity with Finite Number of Sessions is NP-complete. 14th IEEE Computer Security Foundations Workshop, Jun 2001, Cape Breton, Nova Scotia, Canada, 14 p, ⟨10.1109/CSFW.2001.930145⟩. ⟨inria-00100411⟩
41 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More