Login / Signup
Verification of a Formal Security Model for Multiapplicative Smart Cards.
Gerhard Schellhorn
Wolfgang Reif
Axel Schairer
Paul A. Karger
Vernon Austel
David C. Toll
Published in:
ESORICS (2000)
Keyphrases
</>
security model
java card
smart card
security requirements
security analysis
public key
access control
formal methods
information security
provably secure
information systems
security mechanisms
secret key
authentication protocol
public key cryptography
power analysis
authentication and key agreement