Duong Hieu Phan, David Pointcheval. Une comparaison entre deux méthodes de preuve de sécurité. In Actes de la Première Conférence Internationale RIVF 03 Rencontres en Informatique Vietnam-France, RIVF 03, Hanoi, Vietnam, 10-13 Février, 2003. pages 105-110, Editions Suger, Paris, 2003. [doi]
Abstract is missing.