UML Modeling and Formal Verification of Secure Group Communication Protocols - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

UML Modeling and Formal Verification of Secure Group Communication Protocols

Résumé

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.
Fichier non déposé

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⟩
251 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More