Verifying Smart Card Applications: An ASM Approach.
Dominik HanebergHolger GrandyWolfgang ReifGerhard SchellhornPublished in: IFM (2007)
Keyphrases
- smart card
- active shape model
- information security
- security analysis
- authentication protocol
- digital signature
- authentication scheme
- secret key
- security mechanisms
- java card
- secure communication
- model checking
- security requirements
- security enforcement
- fingerprint authentication
- password authentication
- information systems
- differential power analysis
- facial features
- shape model
- software engineering