Deciding the Security of Protocols with Commuting Public Key Encryption. - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

Deciding the Security of Protocols with Commuting Public Key Encryption.

Résumé

We show that deciding insecurity of cryptographic protocols for finite sessions and commuting publi keys is in NP. Many cryptographic protocols and attacks on these protocols make use of the fact that the order in which encryption is performed does not affect the result of the encryption, i.e. encryption is commutative. However, most models for the automatic analysis of cryptographic protocols can not handle such encryption functions since in these models the message space is considered a free term algebra. In this paper, we present an NP decision procedure for the insecurity of protocols that employ RSA encryption, which is one of the most important instances of commuting public key encryption.
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : inria-00100013 , version 1

Citer

Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani. Deciding the Security of Protocols with Commuting Public Key Encryption.. Workshop on Automated Reasoning for Security Protocol Analysis - ARSPA'2004, Jul 2004, Cork, Ireland. 11 p. ⟨inria-00100013⟩
71 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More