OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Mota, Sara"

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

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 .

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

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

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 .

This list was generated on Sun Apr 20 05:24:39 2014 CEST.