Formal verification of secure group communication protocols modelled in UML


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… (More)
DOI: 10.1007/s11334-010-0122-3

14 Figures and Tables


  • Presentations referencing similar topics