| |
| 1999 | ||
|---|---|---|
| 1 | Guy Leduc, Olivier Bonaventure, Luc Léonard, E. Koerner, Charles Pecheur: Model-Based Verification of a Security Protocol for Conditional Access to Services. Formal Methods in System Design 14(2): 171-191 (1999) | |
| 1 | Olivier Bonaventure | [1] |
| 2 | Guy Leduc | [1] |
| 3 | Luc Léonard | [1] |
| 4 | Charles Pecheur | [1] |