Résumé
ULg Research Unit in Networking RUN
Résumé


Specification and verification of a TTP protocol for the conditional access to services

G. Leduc1 , O. Bonaventure1, E. Koerner1, L. Léonard1, C. Pecheur1 and D. Zanetti1

1 Research unit in Networking, EECS department, University of Liège, Belgium
2 Research unit in Networking, EECS department, University of Liège, Belgium
3 Research unit in Networking, EECS department, University of Liège, Belgium
4 Research unit in Networking, EECS department, University of Liège, Belgium
5 Research unit in Networking, EECS department, University of Liège, Belgium
6 Research unit in Networking, EECS department, University of Liège, Belgium

(1996)

Mots-clés

formal verification, LOTOS, model-checking, security protocol

[ 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: 3.223.3.251... RUN | Montefiore | ULg
© 2000-2022.