@INPROCEEDINGS{cgUCL-GJQ97,
 	AUTHOR={Gillet, A. and Joye, Marc and Quisquater, Jean-Jacques},
	TITLE={{Cautionary note for protocols designers: Security proof is not enough}},
	BOOKTITLE={DIMACS Workshop on Design and Formal Verification of Security Protocols},
	EDITOR={H. Orman and C. Meadows},
	MONTH={1},
	YEAR={1997},
}