User menu

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

Search

Displaying 9 results.
    • Speech
    On the Role of Scheduling in Simulation-Based Security
    Canetti, Ran Cheung, Ling Lynch, Nancy Pereira, Olivier[UCL] (2007) 7th International Workshop on Issues in the Theory of Security (WITS'07) — Braga
    • 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)
    • Journal article
    Task-structured probabilistic I/O automata
    Canetti, Ran Cheung, Ling Kaynar, Dilsun Liskov, Moses Lynch, Nancy Pereira, Olivier[UCL] Segala, Roberto (2018) Journal of Computer and System Sciences — Vol. 94, p. 63-97 (2018)