Deciding insecurity for non-atomic keys - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2001

Deciding insecurity for non-atomic keys

Résumé

We present an NP decision procedure for insecurity in the case of finite sessions and non-atomic encryption keys (and no fixed bound on the size of messages). We also explain that in order to build an attack with a fixed number of sessions the intruder needs only to forge messages of linear size, provided that they are represented as dags. This is joint work with Mathieu Turuani and is based on our paper presented in June 2001 at 14th CSFW. for more information: http://www.loria.fr/equipes/protheo/SOFTWARES/CASROL/

Domaines

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

Dates et versions

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

Identifiants

  • HAL Id : inria-00100558 , version 1

Citer

Michaël Rusinowitch, Mathieu Turuani. Deciding insecurity for non-atomic keys. Dagstuhl Seminar on Specification and Analysis of Secure Cryptographic Protocols, D. Basin (Freiburg), G. Denker (SRI, Menlo Park), G. Lowe (Leicester), J. Millen (SRI Menlo Park), 2001, Dagstuhl, Germany. ⟨inria-00100558⟩
49 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More