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
|
