ORBi: Leduc Guy - Specification and verification of a TTP protocol for the conditional access to services

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


	Document type :	Scientific congresses and symposiums : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/2268/32914

Title :	Specification and verification of a TTP protocol for the conditional access to services
Language :	English
Author, co-author :	Leduc, Guy [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques >]
	Bonaventure, Olivier [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques > > > >]
	Koerner, Eckhart [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques > > > >]
	Léonard, Luc [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques > > > >]
	Pecheur, Charles [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques > > > >]
	Zanetti, David [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > > > >]
Publication date :	Oct-1996
Main document title :	Formal Methods and their Applications: Telecommunications, VLSI and Real-Time Computerized Control Systems
On invitation :	No
Audience :	International
Event name :	12th J. Cartier Workshop on Formal Methods and their Applications
Event date :	Oct. 1996
Event place (city) :	Montréal
Event country :	Canada
Keywords :	[en] model-checking ; security protocol
Abstract :	[en] We use the formal language LOTOS to specify the Equicrypt protocol and verify its robustness to attacks by an intruder. We use the model-based CADP verification tools from the Eucalyptus toolbox to discover some successful attacks against this protocol.
Target :	Researchers
Permalink :	http://hdl.handle.net/2268/32914

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	RUN-PP96-04.pdf		Author postprint	159.4 kB	View/Open

All documents in ORBi are protected by a user license.

Dspace v1.5