OATAO - Open Archive Toulouse Archive Ouverte Open Access Week
Login | Create Account

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.

[img](Document in English)

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

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

Abstract

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 (Lecture)
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
Other partners > Thales (FRANCE)
Other partners > Instituto Tecnologico y de Estudios Superiores de Monterrey - ITESM (MEXICO)
Université de Toulouse > Université Paul Sabatier-Toulouse III - UPS
French research institutions > Centre National de la Recherche Scientifique - CNRS
Other partners > Université de Technologie de Compiègne – UTC (FRANCE)
Laboratory name:
Statistics:download
Deposited By:Pierre de Saqui-Sannes

Repository Staff Only: item control page

oatao is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.