| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
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.
Cited literature [1 references]
https://hal.inria.fr/inria-00426405
Contributor : Nazim Benaissa <>
Submitted on : Monday, October 26, 2009 - 11:21:20 AM
Last modification on : Friday, September 4, 2020 - 11:20:25 AM
Long-term archiving on: : Tuesday, October 16, 2012 - 12:40:22 PM
Contributor : Nazim Benaissa <>
Submitted on : Monday, October 26, 2009 - 11:21:20 AM
Last modification on : Friday, September 4, 2020 - 11:20:25 AM
Long-term archiving on: : Tuesday, October 16, 2012 - 12:40:22 PM
File
soumissionbenaissamery.pdf
Files produced by the author(s)