Benjamin Fontan

	2010
3		Pierre de Saqui-Sannes, Thierry Villemur, Benjamin Fontan, Sara Mota, Mohamed Salah Bouassida, N. Chridi, Isabelle Chrisment, Laurent Vigneron: Formal verification of secure group communication protocols modelled in UML. ISSE 6(1-2): 125-133 (2010)
	2007
2		Benjamin Fontan, Sara Mota, Pierre de Saqui-Sannes, Thierry Villemur: Temporal Verification in Secure Group Communication System Design. SECURWARE 2007: 175-180
	2005
1		Sara Mota, Benjamin Fontan: UML-based modeling and formal verification of security protocols. CoNEXT 2005: 282-283

Coauthor Index

1	Mohamed Salah Bouassida	[3]
2	N. Chridi	[3]
3	Isabelle Chrisment	[3]
4	Sara Mota	[1] [2] [3]
5	Pierre de Saqui-Sannes	[2] [3]
6	Laurent Vigneron	[3]
7	Thierry Villemur	[2] [3]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page