Ran Canetti Ling Cheung Dilsun Kirli Kaynar Moses Liskov Nancy A. Lynch Olivier Pereira Roberto Segala Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols. 238-253 2006 conf/wdag/2006 DISC http://dx.doi.org/10.1007/11864219_17 db/conf/wdag/disc2006.html#CanettiCKLLPS06