Model-Based Security Verification and Testing for Smart-cards.
Elizabeta FourneretMartín OchoaFabrice BouquetJulien BotellaJan JürjensParvaneh YousefiPublished in: ARES (2011)
Keyphrases
- java card
- smart card
- information security
- security requirements
- security analysis
- security mechanisms
- high security
- authentication protocol
- static analysis
- sensitive data
- authentication scheme
- countermeasures
- secret key
- secure communication
- digital signature
- security model
- test cases
- elliptic curve
- virtual machine
- test suite
- security issues
- power analysis
- sys tems
- information systems
- factor authentication
- packet filtering