Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing.
Aymerick SavaryMarc FrappierJean-Louis LanetPublished in: IFM (2013)
Keyphrases
- java card
- countermeasures
- model based testing
- smart card
- information security
- fault injection
- static analysis
- test cases
- virtual machine
- software development
- elliptic curve
- control flow
- software design
- security requirements
- testing process
- software testing
- method invocation
- security model
- security analysis
- security policies
- information systems
- secret key
- sequence diagrams
- data flow
- multi agent systems
- databases