Research Unit in Networking
	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: - RUN Admin -

Still running IPv4 at: 18.226.169.66...

RUN | Montefiore | ULg © 2000-2025.