![]() | ![]() |
| 2010 | ||
|---|---|---|
| 3 | Nazim Benaïssa, Dominique Méry: Proof-Based Design of Security Protocols. CSR 2010: 25-36 | |
| 2009 | ||
| 2 | Nazim Benaïssa, Dominique Méry: Cryptographic Protocols Analysis in Event B. Ershov Memorial Conference 2009: 282-293 | |
| 2007 | ||
| 1 | Nazim Benaïssa, Dominique Cansell, Dominique Méry: Integration of Security Policy into System Modeling. B 2007: 232-247 | |
| 1 | Dominique Cansell | [1] |
| 2 | Dominique Méry | [1] [2] [3] |
Data released under the ODC-BY 1.0 license — See also our legal information page