Knowledge-proof based versatile smart card verification protocol.

DaeHun Nyang Joo-Seok Song

Published in: Comput. Commun. Rev. (2000)

Keyphrases

smart card
authentication protocol
java card
security analysis
formal proof
secret key
tcp ip
authentication scheme
security mechanisms
lightweight
knowledge management
secure communication
knowledge base
model checking
security requirements
computer systems
digital signature
user authentication