Formal verification of secure group communication protocols modelled in UML

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

14 Figures and Tables

Topics

  • Presentations referencing similar topics