Paper published in a book (Scientific congresses and symposiums)
Model-based Design and Verification of Security Protocols using LOTOS
Germeau, François; Leduc, Guy
1997In Design and Formal Verification of Security Protocols
Peer reviewed
 

Files


Full Text
RUN-PP97-03.pdf
Author preprint (259.06 kB)
Download

All documents in ORBi are protected by a user license.

Send to



Details



Keywords :
authentication; registration protocol; security; trusted third party
Abstract :
[en] We explain how the formal language LOTOS can be used to specify security protocols and cryptographic operations. We describe how to model security properties as safety properties and how a model-based verification method can be used to verify the robustness of a protocol against attacks of an intruder. We illustrate our technique on a concrete registration protocol. We find a simpler protocol that remains secure, and a more sophisticated protocol that allows a better distinction between intruder's attacks and ordinary errors.
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 :
Model-based Design and Verification of Security Protocols using LOTOS
Publication date :
September 1997
Event name :
DIMACS Workshop on Design and Formal Verification of Security Protocols
Event organizer :
Rutgers University
Event place :
New Jersey, United States
Event date :
3-5 Sep. 1997
Audience :
International
Main work title :
Design and Formal Verification of Security Protocols
Peer reviewed :
Peer reviewed
Available on ORBi :
since 16 December 2009

Statistics


Number of views
83 (3 by ULiège)
Number of downloads
79 (0 by ULiège)

Bibliography


Similar publications



Contact ORBi