Abstract
ULg Research Unit in Networking RUN
Abstract


A Computer Aided Design of a Secure Registration Protocol

F. Germeau1 and G. Leduc1

1 Research unit in Networking, EECS department, University of Liège, Belgium
2 Research unit in Networking, EECS department, University of Liège, Belgium

(1997)

Abstract

We use the formal language LOTOS to specify a registration protocol between a user and a Trusted Third Party, that requires mutual authentication. We explain how a model-based verification method can be used to verify its robustness to attacks by an intruder. This method is also used to find a simpler protocol that remains secure.

Keywords

authentication, formal verification, Guillou-Quisquater, LOTOS sprecification, registration protocol, security, trusted third party

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

Editor: - G. Leduc -
Webmaster: - RUN Admin -
Still running IPv4 at: 18.219.194.82... RUN | Montefiore | ULg
© 2000-2025.