@INPROCEEDINGS{cgUCL-BCPPQ02,
 	AUTHOR={Bresson, Emmanuel and Chevassut, Olivier and Pereira, Olivier and Pointcheval, David and Quisquater, Jean-Jacques},
	TITLE={{Two Formal Views of Authenticated Group Diffie-Hellman Key Exchange}},
	BOOKTITLE={DIMACS Workshop on Cryptographic Protocols in Complex Environments},
	MONTH={5},
	YEAR={2002},
}