UML Modeling and Formal Verification of Secure Group Communication Protocols

Pierre de Saqui-Sannes,Thierry Villemur,Benjamin Fontan,Sara del Socorro Mota Gonzalez,Mohamed Salah Bouassida,Najah Chridi,Isabelle Chrisment,Laurent Vigneron

UML Modeling and Formal Verification of Secure Group Communication Protocols

2008

Pierre de Saqui-Sannes
Thierry Villemur
Benjamin Fontan
Sara del Socorro Mota Gonzalez
Mohamed Salah Bouassida
Najah Chridi
Isabelle Chrisment
Laurent Vigneron

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.

Keywords:

Applications of UML
Unified Modeling Language
Real-time computing
Computer science
Systems design
Communication in small groups
Formal verification
UML tool

Correction
Source
Cite
Save
Machine Reading By IdeaReader

References

Citations