User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

Search

Displaying 2 results.
    • Journal article
    Model-based verification of a security protocol for conditional acess to services
    Leduc, Guy Bonaventure, Olivier[UCL] Leonard, Luc Koerner, Eckhart Pecheur, Charles[UCL] (1999) Formal Methods in System Design : an international journal — Vol. 14, no.2, p. 171-191 (1999)