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

Fontan, Benjamin

Mota, Sara

Saqui-Sannes, Pierre de

Villemur, Thierry

English

Open Archive Toulouse Archive Ouverte

Automatic Verification of a Key Management Architecture for Hierarchical Group Protocols.

New Directions in Cryptography.

Secure Spread: An integrated Architecture for Secure Group Communication,

The Architecture and Performance of Security Protocols in the Ensemble Group Communication System: Using Diamonds to Guard the Castle”.

TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit,

UML-Based Modeling and Formal Verification of Authentication Protocols,

Temporal verification in secure group communication system design

International audienceThe 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

Saqui-Sannes, Pierre De

HAL-INSA Toulouse

Scientific Publications of the University of Toulouse II Le Mirail

Crossref

Temporal Verification in Secure Group Communication System Design

http://oatao.univ-toulouse.fr/2135/1/De_Saqui_Sannes_2135.pdf

Temporal verification in secure group communication system design

Abstract

Similar works

Full text

Available Versions

Open Archive Toulouse Archive Ouverte

HAL-INSA Toulouse

Scientific Publications of the University of Toulouse II Le Mirail

Crossref