Formal verification of secure group communication protocols modelled in UML

✍ Scribed by P. de Saqui-Sannes; T. Villemur; B. Fontan; S. Mota; M. S. Bouassida; N. Chridi; I. Chrisment; L. Vigneron

• Publisher: Springer
• Year: 2010
• Tongue: English
• Weight: 647 KB
• Volume: 6
• Category: Article
• ISSN: 1614-5046
• DOI: 10.1007/s11334-010-0122-3