Back
  1. Home
  3. Detailed Reference
Download
Paper published in a book (Scientific congresses and symposiums)
Specification and verification of a TTP protocol for the conditional access to services
Leduc, Guy; Bonaventure, Olivier; Koerner, Eckhart et al.
1996 • In Formal Methods and their Applications: Telecommunications, VLSI and Real-Time Computerized Control Systems
Peer reviewed
Permalink
https://hdl.handle.net/2268/32914
 

Files (1)Send toDetailsStatisticsBibliographySimilar publications

Files

Full Text
RUN-PP96-04.pdf
Author postprint (163.23 kB)
Download

All documents in ORBi are protected by a user license.

Send to


Details


Keywords :
model-checking; security protocol
Abstract :
[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.
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
Bonaventure, Olivier;  Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques
Koerner, Eckhart;  Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques
Léonard, Luc;  Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques
Pecheur, Charles;  Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques
Zanetti, David;  Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore)
Language :
English
Title :
Specification and verification of a TTP protocol for the conditional access to services
Publication date :
October 1996
Event name :
12th J. Cartier Workshop on Formal Methods and their Applications
Event place :
Montréal, Canada
Event date :
Oct. 1996
Audience :
International
Main work title :
Formal Methods and their Applications: Telecommunications, VLSI and Real-Time Computerized Control Systems
Peer reviewed :
Peer reviewed
Available on ORBi :
since 16 December 2009

Statistics

Number of views
85 (4 by ULiège)
Number of downloads
127 (1 by ULiège)
More statistics

Bibliography

Similar publications


Sorry the service is unavailable at the moment. Please try again later.
Contact ORBi