- CSB - MetaPress - Google - Bing - Yahoo
 | 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 |
| 1 | Benjamin Fontan | [1] [2] |
| 2 | Pierre de Saqui-Sannes | [2] |
| 3 | Thierry Villemur | [2] |