Formal verification of secure group communication protocols modelled in UML

Pierre de Saqui-Sannes, Thierry Villemur, Benjamin Fontan, Sara Mota, Mohamed Salah Bouassida, N. Chridi, Isabelle Chrisment, Laurent Vigneron. Formal verification of secure group communication protocols modelled in UML. ISSE, 6(1-2):125-133, 2010. [doi]

Abstract

Abstract is missing.