UML Modeling and Formal Verification of Secure Group Communication Protocols

The paper discusses an experience in using UML and two complementary verification tools in the framework of SAFECAST, a project on secured group communication system design. AVISPA enabled detecting and fixing security flaws. The TURTLE toolkit enabled saving development time by eliminating design solutions with inappropriate temporal parameters.

Mots clés

UML verification security timeliness protocol

Domaines

Réseaux et télécommunications [cs.NI]

Mohamed Salah Bouassida : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00447668

Soumis le : vendredi 15 janvier 2010-15:28:26

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

Dates et versions

hal-00447668 , version 1 (15-01-2010)

Identifiants

HAL Id : hal-00447668 , version 1

Citer

Pierre de Saqui-Sannes, Thierry Villemur, Benjamin Fontan, Sara del Socorro Mota Gonzalez, Mohamed Salah Bouassida, et al.. UML Modeling and Formal Verification of Secure Group Communication Protocols. Second IEEE International workshop UML and Formal Methods - UML&FM'2009, 2009, Rio de Janeiro, Brazil. ⟨hal-00447668⟩

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

281 Consultations

0 Téléchargements