| |
| 2008 | ||
|---|---|---|
| 1 | EE | Frédéric Dadeau, Julien Lamboley, Thierry Moutet, Marie-Laure Potet: A Verifiable Conformance Relationship between Smart Card Applets and B Security Models. ABZ 2008: 237-250 |
| 1 | Frédéric Dadeau | [1] |
| 2 | Thierry Moutet | [1] |
| 3 | Marie-Laure Potet | [1] |