User menu

Model-based verification of a security protocol for conditional acess to services

Bibliographic reference Leduc, Guy ; Bonaventure, Olivier ; Leonard, Luc ; Koerner, Eckhart ; Pecheur, Charles. Model-based verification of a security protocol for conditional acess to services. In: Formal Methods in System Design : an international journal, Vol. 14, no.2, p. 171-191 (1999)
Permanent URL http://hdl.handle.net/2078.1/135463