Documents publiés en "2011"
Monter d'un niveauNombre de documents: 1
Tounsi, W., Boulahia Cuppens, N., Cuppens, F., & García-Alfaro, J. (mai 2011). Formal Verification of a Key Establishment Protocol for EPC Gen2 RFID Systems: Work in Progress [Communication écrite]. 4th Canada-France MITACS Workshop on Foundations and Practice of Security (FPS 2011), Paris, France. Lien externe