The design and verification of RFID authentication protocol for ubiquitous computing

Keyphrases

• Ubiquitous Computing 100%
• Radio Frequency Identification 100%
• Radio Frequency Identification Tag 100%
• Identity Authentication 100%
• Authentication Protocol 100%
• Security Protocols 100%
• Encryption 50%
• Cryptographic Primitives 50%
• Security Privacy 50%
• Radio Frequency Identification System 50%
• Contactless 50%
• Communicating Sequential Processes 50%
• Radio Channel 50%
• Divergence 50%
• Compiler 50%
• Radio Frequency Identification Technology 50%
• Security Properties 50%
• Vernam 50%
• Object Identification 50%
• CASPER 50%

Computer Science

• Ubiquitous Computing 100%
• Radio Frequency Identification 100%
• Authentication Protocol 100%
• Authentication 40%
• Security protocols 40%
• Computing Environment 20%
• Cryptographic Primitive 20%
• Security and Privacy 20%
• Model Checking 20%
• Frequency Channel 20%
• communicating sequential process 20%
• radio frequency identification technology 20%
• Security Properties 20%