Enhancing the Security of ISO/IEC 14443-3 and 4 RFID Authentication Protocols through Formal Analysis.
Lilla PankacziMohamed EldefrawyPublished in: COINS (2023)
Keyphrases
- ban logic
- formal analysis
- iso iec
- authentication protocol
- rfid tags
- international standard
- rfid systems
- information security
- quality evaluation
- low cost
- radio frequency identification
- smart card
- agent model
- rfid technology
- reference model
- lightweight
- security analysis
- formal methods
- evaluation model
- cryptographic protocols
- resource constrained
- cost effective