OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Formal verification of secure group communication protocols modelled in UML

Saqui-Sannes, Pierre de and Villemur, Thierry and Fontan, Benjamin and Mota, Sara and Bouassida, Mohamed Salah and Chridi, Najah and Chrisment, Isabelle and Vigneron, Laurent Formal verification of secure group communication protocols modelled in UML. (2010) In: 2nd IEEE International workshop UML and Formal Methods - UML&FM'2009, 08 Dec 2009, Rio de Janeiro, Brazil .

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://dx.doi.org/10.1007/s11334-010-0122-3


The paper discusses an experience in using UML 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.

Item Type:Conference or Workshop Item (UNSPECIFIED)
Additional Information:Thanks to Springer editor. The definitive version is available at http://www.springerlink.com. The original PDF of the article can be found at Innovations in Systems and Software Engineering website: http://www.springerlink.com/content/c8846u072u074623/
Audience (journal):Special issue journal
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Other partners > Université Henri Poincaré-Nancy1 - UHP (FRANCE)
Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
Other partners > Thales (FRANCE)
Other partners > Instituto Tecnologico y de Estudios Superiores de Monterrey - ITESM (MEXICO)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Other partners > Université de Technologie de Compiègne – UTC (FRANCE)
Laboratory name:
Deposited On:15 Dec 2009 15:30

Repository Staff Only: item control page