Proof-Based Design of Security Protocols

Nazim Benaissa 1 Dominique Méry 1, *
* Auteur correspondant
1 MOSEL - Proof-oriented development of computer-based systems
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Ce document présente une méthodologie de développement incrémental de protocoles cryptographiques guidé par la preuve de pas de raffinement. Le cadre de développement est la méthode Event B et nous analysons les mécanismes de composition de protocoles à l'aide de la technique de raffinement. En particulier, nous utilisons une formalisation du modèle de Dolev et Yao pour modéliser les protocoles.
Type de document :
Communication dans un congrès
Ernst W. Mayr. 5th International Computer Science Symposium in Russia, CSR 2010, Jun 2010, KAZAN, Russia. Springer, 6072, pp.25-36, 2010, Lecture Notes in Computer Science
Liste complète des métadonnées

https://hal.inria.fr/inria-00542919
Contributeur : Dominique Méry <>
Soumis le : vendredi 3 décembre 2010 - 21:29:24
Dernière modification le : jeudi 11 janvier 2018 - 06:23:25

Identifiants

  • HAL Id : inria-00542919, version 1

Collections

Citation

Nazim Benaissa, Dominique Méry. Proof-Based Design of Security Protocols. Ernst W. Mayr. 5th International Computer Science Symposium in Russia, CSR 2010, Jun 2010, KAZAN, Russia. Springer, 6072, pp.25-36, 2010, Lecture Notes in Computer Science. 〈inria-00542919〉

Partager

Métriques

Consultations de la notice

67