OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Temporal verification in secure group communication system design

Fontan, Benjamin and Mota, Sara and Saqui-Sannes, Pierre de and Villemur, Thierry Temporal verification in secure group communication system design. (2007) In: SECURWARE 2007 - International Conference on Emerging Security Information Systems, and Technologies, 14-20 Oct 2007, Valencia, Spain .

[img]
Preview
(Document in English)

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

Official URL: http://doi.ieeecomputersociety.org/10.1109/SECUREWARE.2007.35

Abstract

The paper discusses an experience in using a real-time UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirements. A generic framework is proposed and specialized for hierarchical groups.

Item Type:Conference or Workshop Item (Paper)
Audience (conference):International conference without published proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS
Université de Toulouse > Institut National Polytechnique de Toulouse - INPT
Université de Toulouse > Institut National des Sciences Appliquées de Toulouse - INSA
Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE
Other partners > Instituto Tecnologico y de Estudios Superiores de Monterrey - ITESM (MEXICO)
Université de Toulouse > Université Paul Sabatier-Toulouse III - UPS
Université de Toulouse > Université de Toulouse II-Le Mirail - UTM
Laboratory name:
Statistics:download
Deposited By: Pierre de Saqui-Sannes
Deposited On:09 Mar 2009 13:03

Repository Staff Only: item control page