Reference : Verification of security protocols using LOTOS-method and application
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/2268/23843
Verification of security protocols using LOTOS-method and application
English
Leduc, Guy mailto [Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques >]
Germeau, François [Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques > > > >]
Jul-2000
Computer Communications
23
12
1089-1103
Yes (verified by ORBi)
International
0140-3664
[en] We explain how the formal language LOTOS can be used to specify security protocols and cryptographic operations. We describe how security properties can be modelled 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 an attack, correct the protocol, propose a simpler yet secure protocol, and finally a more sophisticated protocol that allows a better discrimination between intruder's attacks and classical protocol errors. (C) 2000 Elsevier Science B.V. All rights reserved.
Researchers
http://hdl.handle.net/2268/23843
10.1016/S0140-3664(99)00239-X

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
RUN-PP00-02-preprint.pdfAuthor preprint263.87 kBView/Open

Bookmark and Share SFX Query

All documents in ORBi are protected by a user license.