Ran Canetti Ling Cheung Dilsun Kirli Kaynar Moses Liskov Nancy A. Lynch Olivier Pereira Roberto Segala Analyzing Security Protocols Using Time-Bounded Task-PIOAs. 111-159 2008 18 Discrete Event Dynamic Systems 1 http://dx.doi.org/10.1007/s10626-007-0032-1 db/journals/deds/deds18.html#CanettiCKLLPS08