Title :
Temporal Verification in Secure Group Communication System Design
Author :
Fontan, B. ; Mota, S. ; de Saqui-Sannes, P. ; Villemur, T.
Author_Institution :
ENSICA, Toulouse
Abstract :
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.
Keywords :
formal verification; telecommunication security; SysML profile; Unified Modeling Language; formal verification toolkit; secure group communication system design; system modeling language; temporal verification; Communication system security; Cryptography; Formal verification; Information security; Partitioning algorithms; Power system modeling; Power system security; Protection; Protocols; Unified modeling language;
Conference_Titel :
Emerging Security Information, Systems, and Technologies, 2007. SecureWare 2007. The International Conference on
Conference_Location :
Valencia
Print_ISBN :
978-0-7695-2989-9
DOI :
10.1109/SECUREWARE.2007.4385330
