@INPROCEEDINGS{cgUCL-CCKLLPS06,
 	AUTHOR={Canetti, Ran and Cheung, Ling and Kaynar, Dilsun and Liskov, Moses and Lynch, Nancy and Pereira, Olivier and Segala, Roberto},
	TITLE={{Time-bounded Task-PIOAs: A Framework for Analyzing Security Protocols}},
	BOOKTITLE={20th International Symposium on Distributed Computing (DISC 2006)},
	PUBLISHER={Springer},
	EDITOR={S. Dolev},
	SERIES={LNCS},
	VOLUME={4167},
	PAGES={238--253},
	NOTE={Invited paper},
	MONTH={9},
	YEAR={2006},
}