State space blow-up in the verification of secure smartcard interoperability.
Maurizio TalamoMaulahikmah GaliniumChristian H. SchunckFranco ArcieriPublished in: ICCST (2012)
Keyphrases
- smart card
- state space
- java card
- remote user authentication scheme
- security requirements
- authentication scheme
- authentication protocol
- secure communication
- digital signature
- password authentication
- security analysis
- security mechanisms
- sensitive data
- cryptographic protocols
- information security
- secret key
- dynamic programming
- dynamical systems
- fingerprint authentication
- integrity verification
- reinforcement learning
- factor authentication
- security model
- tcp ip
- model checking
- information systems
- information sharing
- user authentication
- distributed systems
- web services
- lightweight
- search space
- diffie hellman
- fuzzy vault
- security protocols