Controlling Application Interactions on the Novel Smart Cards with Security-by-Contract.

Olga Gadyatskaya Fabio Massacci

Published in: FMCO (2012)

Keyphrases

smart card
information security
security requirements
java card
security analysis
authentication protocol
security mechanisms
sensitive data
power analysis
public key infrastructure
supply chain
access control
lightweight
key technologies
secret key
remote user authentication scheme