ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 24/1 - 2005  - pp.115-140  - doi:10.3166/tsi.24.115-140
TITRE
Vérifier les protocoles cryptographiques

RÉSUMÉ
Les protocoles cryptographiques sont des règles d'échange entre les points d'un réseau, ils permettent de sécuriser les communications. Leur vérification est devenue cruciale car une petite faille peut avoir des répercussions économiques importantes. Nous proposons ici une synthèse des résultats de décidabilité et d'indécidabilité pour des propriétés de secret et d'authentification en considérant différentes restrictions : borner le nombre de sessions, la taille des messages, le nombre de copies à chaque transition, etc. D'autre part, nous décrivons les outils qui peuvent être utilisés pour vérifier les protocoles.


ABSTRACT
A cryptographic protocol is a description of message exchanges on a network. The verification of such programs has become crucial. We propose here a synthesis of decidability and undecidability results for secrecy and authentication properties. We consider several restrictions: bound on the number of sessions, on the size of messages, on the number of copies at each transition, etc. Moreover, we describe which tools may be used to verify the protocols.


AUTEUR(S)
Véronique CORTIER

MOTS-CLÉS
protocoles cryptographiques, sécurité, secret, authentification.

KEYWORDS
cryptographic protocols, security, secrecy, authentication.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (223 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier