Abstract | ||
---|---|---|
The paper discusses an experience in using Unified Modelling Language and two complementary verification tools in the framework
of SAFECAST, a project on secured group communication systems design. AVISPA enabled detecting and fixing security flaws.
The TURTLE toolkit enabled saving development time by eliminating design solutions with inappropriate temporal parameters. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1007/s11334-010-0122-3 | ISSE |
Keywords | Field | DocType |
uml · formal verification · security · real-time · group protocols,formal verification,system design,unified modelling language,real time | Programming language,Unified Modeling Language,Computer science,Communication in small groups,Group communication systems,Formal verification | Journal |
Volume | Issue | ISSN |
6 | 1-2 | 1614-5054 |
Citations | PageRank | References |
3 | 0.40 | 24 |
Authors | ||
8 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pierre de Saqui-Sannes | 1 | 133 | 18.91 |
Thierry Villemur | 2 | 38 | 11.15 |
Benjamin Fontan | 3 | 3 | 1.07 |
Sara Mota | 4 | 3 | 0.74 |
Mohamed Salah Bouassida | 5 | 80 | 6.79 |
N. Chridi | 6 | 3 | 0.40 |
Isabelle Chrisment | 7 | 225 | 25.75 |
Laurent Vigneron | 8 | 232 | 17.92 |