A Constraint-Solving Approach for Achieving Minimal-Reset Transition Coverage of Smartcard Behaviour.
Renaud De LandtsheerChristophe PonsardNicolas DevosPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2014)
Keyphrases
- constraint solving
- smart card
- constraint logic programming
- constraint propagation
- fingerprint authentication
- constraint satisfaction
- constraint satisfaction problems
- constraint solver
- java card
- constraint programming
- digital signature
- secret key
- security analysis
- secure communication
- information security
- sensitive data
- combinatorial problems
- tcp ip
- constraint solvers
- np complete