DocumentCode
2144125
Title
Temporal Verification in Secure Group Communication System Design
Author
Fontan, B. ; Mota, S. ; de Saqui-Sannes, P. ; Villemur, T.
Author_Institution
ENSICA, Toulouse
fYear
2007
fDate
14-20 Oct. 2007
Firstpage
175
Lastpage
180
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/SECUREWARE.2007.4385330
Filename
4385330
Link To Document