Formal Verification of Secure Group Communication Protocols Modelled in UML

Pierre Saqui-Sannes 1 Thierry Villemur 1 Benjamin Fontan 1 Sara del Socorro Mota Gonzalez 1 Mohamed Salah Bouassida 2 Najah Chridi 3 Isabelle Chrisment 4 Laurent Vigneron 3
3 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies, INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
4 MADYNES - Management of dynamic networks and services
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : The paper discusses an experience in using Unified Modelling Language and two complementary verification tools in the framework of SAFECAST, a project on secured group communication systems design. AVISPA enabled detecting and fixing security flaws. The TURTLE toolkit enabled saving development time by eliminating design solutions with inappropriate temporal parameters.
Type de document :
Article dans une revue
Innovations in Systems and Software Engineering, Springer Verlag, 2010, Special Issue ICFEM'09, 6 (1-2), pp.125-133. 〈10.1007/s11334-010-0122-3〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00594387
Contributeur : Laurent Vigneron <>
Soumis le : jeudi 19 mai 2011 - 17:58:51
Dernière modification le : mercredi 28 février 2018 - 10:22:50

Lien texte intégral

Identifiants

Citation

Pierre Saqui-Sannes, Thierry Villemur, Benjamin Fontan, Sara del Socorro Mota Gonzalez, Mohamed Salah Bouassida, et al.. Formal Verification of Secure Group Communication Protocols Modelled in UML. Innovations in Systems and Software Engineering, Springer Verlag, 2010, Special Issue ICFEM'09, 6 (1-2), pp.125-133. 〈10.1007/s11334-010-0122-3〉. 〈inria-00594387〉

Partager

Métriques

Consultations de la notice

223