Protocol Insecurity with Finite Number of Sessions is NP-complete

Michaël Rusinowitch 1 Mathieu Turuani 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We show that protocol insecurity is in NP for bounded sessions and non-atomic keys.
Type de document :
Communication dans un congrès
14th IEEE Computer Security Foundations Workshop, Jun 2001, Cape Breton, Nova Scotia, Canada, IEEE Computer Society, 14 p, 2001, 〈10.1109/CSFW.2001.930145〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00100411
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:41:40
Dernière modification le : jeudi 11 janvier 2018 - 06:19:57

Identifiants

Collections

Citation

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, IEEE Computer Society, 14 p, 2001, 〈10.1109/CSFW.2001.930145〉. 〈inria-00100411〉

Partager

Métriques

Consultations de la notice

61