Reference : Model-based Design and Verification of Security Protocols using LOTOS
Scientific congresses and symposiums : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/2268/32903
Model-based Design and Verification of Security Protocols using LOTOS
English
Germeau, François [Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques > > > >]
Leduc, Guy mailto [Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques >]
Sep-1997
Design and Formal Verification of Security Protocols
Yes
No
International
DIMACS Workshop on Design and Formal Verification of Security Protocols
3-5 Sep. 1997
Rutgers University
New Jersey
USA
[en] authentication ; registration protocol ; security ; trusted third party
[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.
Researchers
http://hdl.handle.net/2268/32903

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
RUN-PP97-03.pdfAuthor preprint252.99 kBView/Open

Bookmark and Share SFX Query

All documents in ORBi are protected by a user license.