UML-based modeling and formal verification of security protocols. - Sara Mota; Benjamin Fontan (CoNEXT, 2005)

UML-Based Modeling and Formal Verification of Authentication Protocols. - Benjamin Fontan; Sara Mota; Thierry Villemur; Pierre de Saqui-Sannes; Jean-Pierre Courtiat (ISSSE, 2006)

Temporal Verification in Secure Group Communication System Design. - Benjamin Fontan; Sara Mota; Pierre de Saqui-Sannes; Thierry Villemur (SECURWARE, 2007)

Formal verification of secure group communication protocols modelled in UML. - Pierre de Saqui-Sannes; Thierry Villemur; Benjamin Fontan; Sara Mota; Mohamed Salah Bouassida; Najah Chridi; Isabelle Chrisment; Laurent Vigneron (Innov. Syst. Softw. Eng., 2010)