User menu

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

Search

Displaying 4 results.
    • Journal article
    Analyzing Security Protocols Using Time-Bounded Task-PIOAs
    Canetti, Ran Cheung, Ling Kaynar, Dilsun Liskov, Moses Lynch, Nancy Pereira, Olivier[UCL] Segala, Roberto (2008) Discrete Event Dynamic Systems — Vol. 18, no. 1, p. 111-159 (March 2008)