Formal Verification of Secure Group Communication Protocols Modelled in UML - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Innovations in Systems and Software Engineering Année : 2010

Formal Verification of Secure Group Communication Protocols Modelled in UML

Résumé

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.

Dates et versions

inria-00594387 , version 1 (19-05-2011)

Identifiants

Citer

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, 2010, Special Issue ICFEM'09, 6 (1-2), pp.125-133. ⟨10.1007/s11334-010-0122-3⟩. ⟨inria-00594387⟩
203 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More