| |
| 2000 | ||
|---|---|---|
| 2 | EE | Guy Leduc, François Germeau: Verification of security protocols using LOTOS-method and application. Computer Communications 23(12): 1089-1103 (2000) |
| 1997 | ||
| 1 | François Germeau, Guy Leduc: A Computer Aided Design of a Secure Registration Protocol. FORTE 1997: 145-160 | |
| 1 | Guy Leduc | [1] [2] |