A Verifiable Conformance Relationship between Smart Card Applets and B Security Models.
Frédéric DadeauJulien LamboleyThierry MoutetMarie-Laure PotetPublished in: ABZ (2008)
Keyphrases
- smart card
- java card
- information security
- security requirements
- fuzzy vault
- security mechanisms
- security analysis
- authentication protocol
- security enforcement
- digital signature
- authentication scheme
- sensitive data
- secure communication
- byte code
- security issues
- secret key
- user authentication
- countermeasures
- security model
- static analysis
- access requests
- differential power analysis
- remote user authentication scheme
- sys tems