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...

Full description

Saved in:
Bibliographic Details
Published in:Innovations in systems and software engineering 2010-03, Vol.6 (1-2), p.125-133
Main Authors: de Saqui-Sannes, P., Villemur, T., Fontan, B., Mota, S., Bouassida, M. S., Chridi, N., Chrisment, I., Vigneron, L.
Format: Article
Language:English
Subjects:
Artificial Intelligence
Computer Applications
Computer Science
Cryptography and Security
Networking and Internet Architecture
Original Paper
Software Engineering
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1614-5046
1614-5054
DOI:10.1007/s11334-010-0122-3