Sciweavers

DEDS
2008

Analyzing Security Protocols Using Time-Bounded Task-PIOAs

13 years 11 months ago
Analyzing Security Protocols Using Time-Bounded Task-PIOAs
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Mos
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Where DEDS
Authors Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala
Comments (0)