Reference : Specification and verification of a TTP protocol for the conditional access to services
Scientific congresses and symposiums : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/2268/32914
Specification and verification of a TTP protocol for the conditional access to services
English
Leduc, Guy mailto [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques >]
Bonaventure, Olivier [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques > > > >]
Koerner, Eckhart [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques > > > >]
Léonard, Luc [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques > > > >]
Pecheur, Charles [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques > > > >]
Zanetti, David [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > > > >]
Oct-1996
Formal Methods and their Applications: Telecommunications, VLSI and Real-Time Computerized Control Systems
Yes
No
International
12th J. Cartier Workshop on Formal Methods and their Applications
Oct. 1996
Montréal
Canada
[en] model-checking ; security protocol
[en] We use the formal language LOTOS to specify the Equicrypt protocol and verify its robustness to attacks by an intruder. We use the model-based CADP verification tools from the Eucalyptus toolbox to discover some successful attacks against this protocol.
Researchers
http://hdl.handle.net/2268/32914

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
RUN-PP96-04.pdfAuthor postprint159.4 kBView/Open

Bookmark and Share SFX Query

All documents in ORBi are protected by a user license.