Protocol Insecurity with Finite Number of Sessions is NP-complete - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2001

Protocol Insecurity with Finite Number of Sessions is NP-complete

Résumé

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

Domaines

Autre [cs.OH]
Fichier non déposé

Dates et versions

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

Identifiants

Citer

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⟩
53 Consultations
0 Téléchargements

Altmetric

Partager

More