Design and verification of a non-repudiation protocol based on receiver-side smart card.

Jing Liu Laurent Vigneron

Published in: IET Inf. Secur. (2010)

Keyphrases

smart card
digital signature
authentication protocol
java card
security analysis
security requirements
tcp ip
cryptographic protocols
authentication scheme
information security
model checking
software testing
security mechanisms
differential power analysis
remote user authentication scheme