authentication; registration protocol; trusted third party; security
Abstract :
[en] We use the formal language LOTOS to specify a registration protocol between a user and a Trusted Third Party, that requires mutual authentication. We explain how a model-based verification method can be used to verify its robustness to attacks by an intruder. This method is also used to find a simpler protocol that remains secure.
Disciplines :
Computer science
Author, co-author :
Germeau, François; Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques
Leduc, Guy ; Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques
Language :
English
Title :
A Computer Aided Design of a Secure Registration Protocol
Publication date :
November 1997
Event name :
Formal Description Techniques X / Protocol Specification, Testing and Verification XVII (FORTE/PSTV'97)
Event place :
Osaka, Japan
Event date :
Nov. 1997
Audience :
International
Main work title :
Formal Description Techniques and Protocol Specification, Testing and Verification