@ARTICLE{cgUCL-CKCLLPS05,
 	AUTHOR={Canetti, Ran and Kaynar, Dilsun and Cheung, Ling and Liskov, Moses and Lynch, Nancy and Pereira, Olivier and Segala, Roberto},
	TITLE={{Using Probabilistic I/O Automata to Improve the Analysis of Cryptographic Protocols.}},
	BOOKTITLE={Special: Security and Trust Management},
	JOURNAL={ERCIM News},
	PAGES={40--41},
	MONTH={10},
	YEAR={2005},
}