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. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1109/SECUREWARE.2007.4385330 | SECURWARE |
Keywords | Field | DocType |
hierarchical group,secure group communication system,realtime uml,formal verification toolkit,generic framework,temporal verification,temporal requirement,sysml profile,formal verification,system design,unified modeling language | Functional verification,Software engineering,Computer science,Intelligent verification,Electronic system-level design and verification,Computer network,Verification,Runtime verification,Systems Modeling Language,High-level verification,Distributed computing,Formal verification | Conference |
ISBN | Citations | PageRank |
0-7695-2989-5 | 1 | 0.36 |
References | Authors | |
6 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Fontan, B. | 1 | 1 | 0.36 |
Mota, S. | 2 | 1 | 0.36 |
P. De Saqui-Sannes | 3 | 123 | 8.44 |
Villemur, T. | 4 | 5 | 1.53 |