A Computer Aided Design of a Secure Registration Protocol. - François Germeau; Guy Leduc (FORTE, 1997)

Verification of security protocols using LOTOS-method and application. - Guy Leduc; François Germeau (Comput. Commun., 2000)