Paper published in a book (Scientific congresses and symposiums)
A Computer Aided Design of a Secure Registration Protocol
Germeau, François; Leduc, Guy
1997In Formal Description Techniques and Protocol Specification, Testing and Verification
Peer reviewed
 

Files


Full Text
RUN-PP97-12.pdf
Author preprint (219.63 kB)
Download

All documents in ORBi are protected by a user license.

Send to



Details



Keywords :
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
Publisher :
Chapman and Hall
Peer reviewed :
Peer reviewed
Available on ORBi :
since 16 December 2009

Statistics


Number of views
34 (1 by ULiège)
Number of downloads
180 (0 by ULiège)

Bibliography


Similar publications



Contact ORBi