Design and formal validation of a mutual authentication protocol for RFID technology

Files
Access Instruction 806.pdf(43.23 KB)
Date
2010
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Authentication, AVISPA, Cryptography, Formal validation, Privacy, RFID, Security
Citation
Fennani, 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.
URI
https://hdl.handle.net/20.500.12519/806
DOI
Collections
Department of Electrical Engineering