The SmartLogic Tool: Analysing and Testing Smart Card Protocols.
Gerhard de Koning GansJoeri de RuiterPublished in: ICST (2012)
Keyphrases
- smart card
- authentication protocol
- information security
- authentication scheme
- security requirements
- digital signature
- security analysis
- java card
- secret key
- remote user authentication scheme
- fingerprint authentication
- differential power analysis
- secure communication
- security enforcement
- key distribution
- password authentication
- power analysis
- software development
- security mechanisms
- lightweight