A Formal Security Model of the Infineon SLE 88 Smart Card Memory Managment.

David von Oheimb Georg Walter Volkmar Lotz

Published in: ESORICS (2003)

Keyphrases

security model
smart card
security requirements
security analysis
java card
information security
security mechanisms
public key
authentication protocol
digital signature
authentication scheme
secure communication
secret key
power analysis
lightweight
provably secure
remote user authentication scheme