Deciding security of protocols against off-line guessing attacks.
Mathieu BaudetPublished in: CCS (2005)
Keyphrases
- security protocols
- cryptographic protocols
- security flaws
- security threats
- security mechanisms
- security properties
- security problems
- security services
- cryptographic algorithms
- computer security
- authentication protocol
- java card
- security measures
- chosen plaintext
- key agreement protocol
- authentication scheme
- cyber attacks
- security issues
- security breaches
- security vulnerabilities
- communication protocols
- fault injection
- key management
- security risks
- stream cipher
- denial of service attacks
- smart card
- security requirements
- resource constrained
- access control
- intrusion detection
- malicious users
- information security
- key exchange
- malicious attacks
- countermeasures
- information leakage
- identity theft
- biometric template
- secure multiparty computation
- rfid tags
- cyber security
- buffer overflow
- secure routing