A mutual authentication protocol for low-cost RFID tags formally verified using CasperFDR and AVISPA.
Sarah AbughazalahKonstantinos MarkantonakisKeith MayesPublished in: ICITST (2013)
Keyphrases
- rfid tags
- authentication protocol
- low cost
- radio frequency identification
- rfid systems
- cost effective
- user authentication
- security protocols
- rfid technology
- resource constrained
- lightweight
- security mechanisms
- authentication scheme
- security issues
- embedded systems
- key distribution
- mutual authentication
- real time
- secret key
- public key
- trusted third party
- information systems