Développement combiné et prouvé de systèmes transactionnels cryptologiques - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

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

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.
Fichier principal
Vignette du fichier
soumissionbenaissamery.pdf (341.11 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00426405 , version 1 (26-10-2009)

Identifiants

  • HAL Id : inria-00426405 , version 1

Citer

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. ⟨inria-00426405⟩
100 Consultations
107 Téléchargements

Partager

Gmail Facebook X LinkedIn More