Article (Scientific journals)
Verification of two versions of the challenge handshake authentication protocol (CHAP)
Leduc, Guy
2000In Annales des Télécommunications, 55 (1-2), p. 20-30
Peer Reviewed verified by ORBi
 

Files


Full Text
RUN-PP00-01.pdf
Author postprint (326.07 kB)
Download

All documents in ORBi are protected by a user license.

Send to



Details



Abstract :
[en] The challenge handshake authentication protocol, CHAP, is an authentication protocol intended for use primarily by hosts and routers that connect to a network server I in switched circuits or dial-up lines. but might be applied to dedicated links as well. In this paper; we specify two versions of the protocol, using the formal language Lotos, and apply the Eucalyptus model-based verification tools to prove that the first version has a flaw: whereas the second one is robust to passive and active attacks. The paper is written bl a tutorial fashion with a strong emphasis oil the methodology used. The relative simplicity of the CHAP protocol allows one to include complete Lotos specifications and definitions of properties, so that the experiment can be reproduced easily.
Disciplines :
Computer science
Author, co-author :
Leduc, Guy ;  Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques
Language :
English
Title :
Verification of two versions of the challenge handshake authentication protocol (CHAP)
Publication date :
January 2000
Journal title :
Annales des Télécommunications
ISSN :
0003-4347
eISSN :
1958-9395
Publisher :
Springer
Volume :
55
Issue :
1-2
Pages :
20-30
Peer reviewed :
Peer Reviewed verified by ORBi
Available on ORBi :
since 25 September 2009

Statistics


Number of views
81 (1 by ULiège)
Number of downloads
504 (0 by ULiège)

Scopus citations®
 
3
Scopus citations®
without self-citations
3

Bibliography


Similar publications



Contact ORBi