OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Institution is :Other partners > Instituto Tecnologico y de Estudios Superiores de Monterrey - ITESM (MEXICO)

Up a level
Export as [feed] RSS 1.0 [feed] Atom [feed] RSS 2.0
Number of items at this level: 3.

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 .

This list was generated on Sat Apr 19 13:14:20 2014 CEST.