Checking Secure Interactions of Smart Card Applets: Extended Version.
Pierre BieberJacques CazinPierre GirardJean-Louis LanetVirginie WielsGuy ZanonPublished in: J. Comput. Secur. (2002)
Keyphrases
- smart card
- security requirements
- remote user authentication scheme
- digital signature
- authentication scheme
- security analysis
- security mechanisms
- authentication protocol
- secure communication
- password authentication
- sensitive data
- information security
- java card
- secret key
- security enforcement
- power analysis
- password guessing
- differential power analysis
- diffie hellman
- factor authentication
- security issues