Specifying and Verifying a Decimal Representation in Java for Smart Cards.
Cees-Bart BreunesseBart JacobsJoachim van den BergPublished in: AMAST (2002)
Keyphrases
- smart card
- java card
- power analysis
- security mechanisms
- digital signature
- information security
- remote user authentication scheme
- authentication scheme
- floating point
- programming language
- digital images
- database applications
- access control
- secret key
- web applications
- source code
- secure communication
- wireless sensor networks
- high level