OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Mota, Sara"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 5.

Article

Saqui-Sannes, Pierre de and Villemur, Thierry and Mota, Sara and Fontan, Benjamin and Bouassida, Mohamed Salah and Chridi, Najah and Chrisment, Isabelle and Vigneron, Laurent Formal verification of secure group communication protocols modelled in UML. (2010) Innovations in Systems and Software Engineering, vol. 6 (n°1-2). pp. 125-133. ISSN 1614-5046

Conference or Workshop Item

Saqui-Sannes, Pierre de and Villemur, Thierry and Fontan, Benjamin and Mota, Sara and Bouassida, Mohamed Salah and Chridi, Najah and Chrisment, Isabelle and Vigneron, Laurent Formal verification of secure group communication protocols modelled in UML. (2010) In: 2nd IEEE International workshop UML and Formal Methods - UML&FM'2009, 08 Dec 2009, Rio de Janeiro, Brazil .

Fontan, Benjamin and Mota, Sara and Saqui-Sannes, Pierre de and Villemur, Thierry Temporal verification in secure group communication system design. (2007) In: SECURWARE 2007 - International Conference on Emerging Security Information Systems, and Technologies, 14-20 Oct 2007, Valencia, Spain .

Fontan, Benjamin and Mota, Sara and Villemur, Thierry and Saqui-Sannes, Pierre de and Courtiat, Jean-Pierre UML-based modeling and formal verification of authentication protocols. (2006) In: ICSSE'06 - IEEE International Conference on Secure Software Engineering, March 2006, Washington, United States .

Thesis

Mota, Sara. Modélisation et vérification de protocoles pour des communications sécurisées de groupes. PhD, Institut National Polytechnique de Toulouse, 2008

This list was generated on Tue Nov 25 02:11:12 2014 CET.