ACTS OKAPI project @ RUN
ULg ACTS OKAPI project RUN
Open Kernel for Access to Protected Interoperable interactive services


Home

People

Research Topics

Projects

Publications

IFIP WG 6.1

Events and Conferences

CSS

How to Reach Us

!! Sorry, this page is still under construction. !!

Publications

* Verification of Security Protocols using LOTOS - Method and Application
G. Leduc and F. Germeau
Keywords : LOTOS, model-checking, protocol verification, security protocol
Read the abstract
Download the PDF document
Computer Communications, special issue on Formal Description Techniques in Practice, vol. 23, nb. 12, Jul. 2000, pp. 1089-1103
(ISI IF 2000 = 0.341)
* Model-Based Verification of a Security Protocol for the Conditional Access to Services
G. Leduc, O. Bonaventure, E. Koerner, L. Léonard and C. Pecheur
Keywords : Equicrypt, LOTOS, model checking, security protocols
Read the abstract
Download the PostScript document
Formal Methods in System Design, vol. 14, nb. 2, March 1999, pp. 171-191
* A simulation study of TCP with the GFR service category
O. Bonaventure
Read the abstract
Proc. of Third International Workshop on Architecture and Protocols for High-Performance Networks, 15-20 Jun. 1997, Schloss Dagstuhl, Germany, A. Danthine, O. Spaniol, W. Effelsberg, D. Ferrari (eds.), High-Performance Networks for Multimedia Applications, pp. 19-53, Kluwer Academic Publishers
* A Computer Aided Design of a Secure Registration Protocol
F. Germeau and G. Leduc
Keywords : authentication, formal verification, Guillou-Quisquater, LOTOS sprecification, registration protocol, security, trusted third party
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of Formal Description Techniques X / Protocol Specification, Testing and Verification XVII (FORTE/PSTV'97), Nov. 1997, Osaka, Japan, Chapman and Hall
* A simulation study of TCP with the proposed GFR service category
O. Bonaventure
Keywords : Asynchronous Tranfer Mode (ATM), simulations, TCP Guaranteed Frame Rate (GFR)
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Dagstuhl Seminar 9725 on High Performance Networks for Multimedia Applications, 15-20 Jun. 1997, Schloss Dagstuhl, Germany
* Model-based Design and Verification of Security Protocols using LOTOS
F. Germeau and G. Leduc
Keywords : authentication, formal verification, LOTOS specification, registration protocol, security, trusted third party
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of the DIMACS Workshop on Design and Formal Verification of Security Protocols, 3-5 Sep. 1997, Rutgers University, New Jersey
* Specification and verification of a TTP protocol for the conditional access to services
G. Leduc, O. Bonaventure, E. Koerner, L. Léonard, C. Pecheur and D. Zanetti
Keywords : formal verification, LOTOS, model-checking, security protocol
Read the abstract
Download the PostScript document or the compressed PostScript (gzip) document
Proc. of the 12th J. Cartier Workshop on Formal Methods and their Applications: Telecommunications, VLSI and Real-Time Computerized Control Systems, Oct. 1996, Montreal, Canada

[ Home | People | Research Topics | Projects | Publications | IFIP WG 6.1 | Events and Conferences | CSS | How to Reach Us ]

Editor: - G. Leduc -
Webmaster: - C. Soldani -
Still running IPv4 at: 54.161.91.76... RUN | Montefiore | ULg
© 2000-2015.