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 Mota, Sara and Fontan, Benjamin and Bouassida, Mohamed Salah and Chridi, Najah and Chrisment, Isabelle and Vigneron, Laurent Formal verification of secure group communication protocols modelled in UML. (2010) Innovations in Systems and Software Engineering, vol. 6 (n°1-2). pp. 125-133. ISSN 1614-5046

[img](Document in English)

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

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

Abstract

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.

Item Type:Article
Additional Information:Second IEEE International workshop UML and Formal Methods - UML&FM'2009,Rio de Janeiro, 8 December 2008. 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/113014/
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:Other partners > Université de Franche-Comté (FRANCE)
French research institutions > Institut National de la Recherche en Informatique et en Automatique - INRIA
French research institutions > Centre National de la Recherche Scientifique - CNRS
Other partners > Institut National Polytechnique de Lorraine - INPL (FRANCE)
Other partners > Université Henri Poincaré-Nancy1 - UHP (FRANCE)
Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE
Université de Toulouse > Institut National Polytechnique de Toulouse - INPT
Université de Toulouse > Université Paul Sabatier-Toulouse III - UPS
Laboratory name:
Statistics:download
Deposited By:Gestionnaire Parmentier

Repository Staff Only: item control page