@ARTICLE{cgUCL-PLLKCSC08,
 	AUTHOR={Pereira, Olivier and Lynch, Nancy and Liskov, Moses and Kaynar, Dilsun and Cheung, Ling and Segala, Roberto and Canetti, Ran},
	TITLE={{Analyzing Security Protocols Using Time-Bounded Task-PIOAs}},
	PUBLISHER={Springer},
	EDITOR={Xi-Ren Cao},
	JOURNAL={Discrete Event Dynamic Systems},
	VOLUME={18},
	PAGES={111-159},
	MONTH={3},
	YEAR={2008},
}