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
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
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〉
