Sara Mota

According to our database, Sara Mota authored at least 4 papers between 2005 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2010

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

2007

Temporal Verification in Secure Group Communication System Design.

Benjamin Fontan, Sara Mota, Pierre de Saqui-Sannes, Thierry Villemur

Proceedings of the First International Conference on Emerging Security Information, 2007

2006

UML-Based Modeling and Formal Verification of Authentication Protocols.

Benjamin Fontan, Sara Mota, Thierry Villemur, Pierre de Saqui-Sannes, Jean-Pierre Courtiat

Proceedings of the 2006 IEEE International Symposium on Secure Software Engineering, 2006

2005

UML-based modeling and formal verification of security protocols.

Sara Mota, Benjamin Fontan

Proceedings of the 2005 ACM Conference on Emerging Network Experiment and Technology, 2005