Développement combiné et prouvé de systèmes transactionnels cryptologiques

Nazim Benaissa 1 Dominique Méry 1
1 MOSEL - Proof-oriented development of computer-based systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Dans le cadre du développement prouvé et incrémental de systèmes informatiques, nous nous intéressons à des systèmes transactionnels présents dans les échanges bancaires comme Mondex. Nous étudions la combinaison de modèles Event B comme un modèle du Mondex et un modèle de protocoles cryptologiques afin d'obtenir un système plus robuste aux attaques. Puis, nous montrons sur quels principes est fondée cette combinaison et nous montrons dans quelles mesures elle peut simplifier la tâche de modélisation prouvée et incrémentale.
Type de document :
Communication dans un congrès
Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL 2009, Jan 2009, Toulouse, France. 2009
Liste complète des métadonnées

Littérature citée [1 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00426405
Contributeur : Nazim Benaissa <>
Soumis le : lundi 26 octobre 2009 - 11:21:20
Dernière modification le : jeudi 11 janvier 2018 - 06:19:52
Document(s) archivé(s) le : mardi 16 octobre 2012 - 12:40:22

Fichier

soumissionbenaissamery.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00426405, version 1

Collections

Citation

Nazim Benaissa, Dominique Méry. Développement combiné et prouvé de systèmes transactionnels cryptologiques. Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL 2009, Jan 2009, Toulouse, France. 2009. 〈inria-00426405〉

Partager

Métriques

Consultations de la notice

254

Téléchargements de fichiers

160