On-the-Fly Formal Testing of a Smart Card Applet.

Arjen van Weelden Martijn Oostdijk Lars Frantzen Pieter W. M. Koopman Jan Tretmans

Published in: SEC (2005)

Keyphrases

smart card
java card
information security
security requirements
security mechanisms
secret key
security analysis
digital signature
authentication scheme
secure communication
test cases
power analysis
authentication protocol
security enforcement