Compositional verification for secure loading of smart card applets.
Christoph SprengerDilian GurovMarieke HuismanPublished in: MEMOCODE (2004)
Keyphrases
- smart card
- java card
- remote user authentication scheme
- security requirements
- authentication scheme
- authentication protocol
- security analysis
- digital signature
- password authentication
- security mechanisms
- secure communication
- sensitive data
- byte code
- cryptographic protocols
- information security
- secret key
- security issues
- factor authentication
- key distribution
- security model
- user authentication
- integrity verification
- fingerprint authentication
- security enforcement
- password guessing
- countermeasures
- lightweight
- security level
- key exchange