Design and formal validation of a mutual authentication protocol for RFID technology
Date
2010
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
item.page.type
Conference Paper
item.page.format
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.