Sara Mota

Publication Activity (10 Years)

Years Active: 2005-2010
Publications (10 Years): 0

Publications

Pierre de Saqui-Sannes, Thierry Villemur, Benjamin Fontan, Sara Mota, Mohamed Salah Bouassida, Najah Chridi, Isabelle Chrisment, Laurent Vigneron
Formal verification of secure group communication protocols modelled in UML. Innov. Syst. Softw. Eng. 6 (1-2) (2010)
Benjamin Fontan, Sara Mota, Pierre de Saqui-Sannes, Thierry Villemur
Temporal Verification in Secure Group Communication System Design. SECURWARE (2007)
Benjamin Fontan, Sara Mota, Thierry Villemur, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
UML-Based Modeling and Formal Verification of Authentication Protocols. ISSSE (2006)
Sara Mota, Benjamin Fontan
UML-based modeling and formal verification of security protocols. CoNEXT (2005)