User menu

Using Probabilistic I/O Automata to improve the analysis of cryptographic protocols

Bibliographic reference Canetti, Ran ; Cheung, Ling ; Kaynar, Dilsun ; Liskov, Moses ; Lynch, Nancy ; et. al. Using Probabilistic I/O Automata to improve the analysis of cryptographic protocols. In: Ercim News, Vol. 63, no.1, p. 40-41 (2005)
Permanent URL http://hdl.handle.net/2078.1/154801