Automatic Test Generation on a (U)SIM Smart Card.
Céline BigotAlain FaivreChristophe GastonJulien SimonPublished in: CARDIS (2006)
Keyphrases
- smart card
- test generation
- test cases
- information security
- test sequences
- secret key
- java card
- symbolic execution
- authentication scheme
- digital signature
- security analysis
- static analysis
- security requirements
- design automation
- quality assurance
- authentication protocol
- information systems
- software testing
- fingerprint authentication
- countermeasures