A Computer Aided Design of a Secure Registration Protocol.

François Germeau Guy Leduc A Computer Aided Design of a Secure Registration Protocol. 145-160 1997 conf/forte/1997 FORTE db/conf/forte/forte1997.html#GermeauL97