Formal Verification of Secure Group Communication Protocols Modelled in UML

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.

Domaines

Réseaux et télécommunications [cs.NI] Cryptographie et sécurité [cs.CR]

Laurent Vigneron : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00594387

Soumis le : jeudi 19 mai 2011-17:58:51

Dernière modification le : lundi 1 juillet 2024-15:00:22

Dates et versions

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

Identifiants

HAL Id : inria-00594387 , version 1
DOI : 10.1007/s11334-010-0122-3

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS INRIA UNIV-COMPIEGNE UNIV-FCOMTE UNIV-BM INSA-TOULOUSE LAAS FEMTO-ST UNIV-BM-THESE HEUDIASYC UT1-CAPITOLE UNIV-LORRAINE INRIA2 LORIA LORIA-FM INSA-GROUPE IUT-BLAGNAC TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP

236 Consultations

0 Téléchargements