Temporal Verification in Secure Group Communication System Design

14 years 5 months ago

Download oatao.univ-toulouse.fr

The paper discusses an experience in using a realtime 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.

Benjamin Fontan, Sara Mota, Pierre de Saqui-Sannes

Real-time Traffic

Formal Verification Toolkit | Realtime Uml/sysml Profile | Secure Group Communication | SECURWARE 2007 |

claim paper

» Scaling Secure Group Communication Systems Beyond PeertoPeer

» Design for verification for asynchronously communicating Web services

» Performance analysis of distributed intrusion detection protocols for mobile group communi...

» DualLevel Key Management for secure grid communication in dynamic and hierarchical groups

» A UMLbased static verification framework for security

» Scalable Parametric Verification of Secure Systems How to Verify Reference Monitors withou...

» Application and Verification of Local NonsemanticPreserving Transformations in System Desi...

» Key distribution and update for secure intergroup multicast communication

Post Info
More Details (n/a)

Added	04 Jun 2010
Updated	04 Jun 2010
Type	Conference
Year	2007
Where	SECURWARE
Authors	Benjamin Fontan, Sara Mota, Pierre de Saqui-Sannes, Thierry Villemur

Comments (0)

Sciweavers

Temporal Verification in Secure Group Communication System Design

Formal Verification Toolkit | Realtime Uml/sysml Profile | Secure Group Communication | SECURWARE 2007 |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers