Verification of Mutual Authentication Protocol for MobInfoSec System.

Olga Siedlecka-Lamch Imed El Fray Miroslaw Kurkowski Jerzy Pejas

Published in: CISIM (2015)

Keyphrases

authentication protocol
cryptographic protocols
smart card
security analysis
lightweight
public key
security protocols
authentication scheme
model checking
rfid systems
rfid tags
mutual authentication
secret key
trusted third party
hash functions
information security
low cost
password authentication