Can We Support Applications' Evolution in Multi-application Smart Cards by Security-by-Contract?

Nicola Dragoni Olga Gadyatskaya Fabio Massacci

Published in: WISTP (2010)

Keyphrases

smart card
information security
security requirements
java card
security analysis
security mechanisms
factor authentication
computing environments
authentication scheme
secure communication
packet filtering
sys tems
supply chain
network security
digital signature
differential power analysis