Automated Test and Oracle Generation for Smart-Card Applications.
Duncan ClarkeThierry JéronVlad RusuElena ZinovievaPublished in: E-smart (2001)
Keyphrases
- smart card
- information security
- secret key
- security analysis
- authentication scheme
- java card
- digital signature
- security requirements
- authentication protocol
- fingerprint authentication
- remote user authentication scheme
- oracle database
- low cost
- security enforcement
- security mechanisms
- operating system
- differential power analysis
- database systems