Fennani, BassemDahmane, Adel OmarHamam, Habib2023-05-292023-05-292010Fennani, B., Dahmane, A. O., & Hamam, H. (2010). Design and formal validation of a mutual authentication protocol for RFID technology. Paper presented at the Proceedings of the European, Mediterranean and Middle Eastern Conference on Information Systems: Global Information Systems Challenges in Management, EMCIS 2010.978-190231680-2https://hdl.handle.net/20.500.12519/806AuthenticationAVISPACryptographyFormal validationPrivacyRFIDSecurityConference Paper