Improving the Security of the HMQV Protocol Using Tamper-Proof Hardware.
Qianying ZhangShijun ZhaoYu QinDengguo FengPublished in: SecureComm (1) (2014)
Keyphrases
- security properties
- security protocols
- cryptographic protocols
- security level
- security analysis
- security requirements
- authentication protocol
- low cost
- security model
- communication protocols
- key exchange protocol
- key agreement protocol
- key agreement
- information security
- security services
- real time
- formal proof
- denial of service attacks
- access control
- mobile payment
- mutual authentication
- rfid systems
- protocol specification
- forward secure
- key distribution
- computer systems
- security policies
- diffie hellman
- physical layer
- security issues
- mobile agent system
- provably secure
- messages exchanged
- network layer
- private key
- trusted computing
- intrusion detection
- secret key
- theorem prover
- elliptic curve
- rfid tags
- public key
- electronic voting
- cryptographic algorithms
- embedded systems
- random number generator
- smart card
- blind signature
- blind signature scheme
- lightweight