Login / Signup
Verified Formal Security Models for Multiapplicative Smart Cards.
Gerhard Schellhorn
Wolfgang Reif
Axel Schairer
Paul A. Karger
Vernon Austel
David C. Toll
Published in:
J. Comput. Secur. (2002)
Keyphrases
</>
smart card
information security
java card
security requirements
security mechanisms
sensitive data
security analysis
intrusion detection
authentication protocol
secure communication
low cost
open source
computer systems
network security