@INPROCEEDINGS{cgUCL-DKP09,
 	AUTHOR={Delaune, Stephanie and Kremer, Steve and Pereira, Olivier},
	TITLE={{Simulation based security in the applied pi calculus}},
	BOOKTITLE={Foundations of Software Technology and Theoretical Computer Science - FSTTCS 2009},
	EDITOR={R. Kannan and K. Kumar},
	SERIES={Leibniz International Proceedings in Informatics},
	MONTH={12},
	YEAR={2009},
}