| |
| 2008 | ||
|---|---|---|
| 3 | EE | Roland Bouroulet, Raymond R. Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau: Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets. Petri Nets 2008: 72-91 |
| 2006 | ||
| 2 | EE | Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz: Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language). ACSD 2006: 179-188 |
| 2004 | ||
| 1 | EE | Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz: A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets. ACSD 2004: 99-110 |
| 1 | Raymond R. Devillers | [3] |
| 2 | Hanna Klaudel | [1] [2] [3] |
| 3 | Elisabeth Pelz | [1] [2] [3] |
| 4 | Franck Pommereau | [3] |