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 .

(Document in English)

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

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


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 (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
Université de Toulouse > Institut National des Sciences Appliquées de Toulouse - INSA (FRANCE)
Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
Other partners > Instituto Tecnologico y de Estudios Superiores de Monterrey - ITESM (MEXICO)
Université de Toulouse > Université Paul Sabatier-Toulouse III - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Laboratory name:
Deposited By: Pierre de Saqui-Sannes
Deposited On:09 Mar 2009 13:03

Repository Staff Only: item control page