Verification of Authentication Protocols Based on the Binding Relation.

Masami Hagiya Ryo Takemura Koichi Takahashi Takamichi Saito

Published in: ISSS (2002)

Keyphrases

authentication protocol
cryptographic protocols
smart card
lightweight
security analysis
model checking
rfid tags
public key
security protocols
secret key
real time
end to end
formal verification
rfid systems
ban logic