@INPROCEEDINGS{cgUCL-BMS07,
 	AUTHOR={Bresson, Emmanuel and Manulis, Mark and Schwenk, Joerg},
	TITLE={{On Security Models and Compilers for Group Key Exchange Protocols}},
	BOOKTITLE={2nd International Workshop on Security (IWSEC 2007)},
	PUBLISHER={Springer},
	SERIES={Lecture Notes in Computer Science},
	VOLUME={4752},
	PAGES={292-307},
	MONTH={10},
	YEAR={2007},
}