Universal Security for Randomness Expansion from the Spot-Checking Protocol.
Carl A. MillerYaoyun ShiPublished in: SIAM J. Comput. (2017)
Keyphrases
- cryptographic protocols
- security protocols
- key agreement protocol
- authentication protocol
- security properties
- key exchange protocol
- security model
- rfid systems
- security analysis
- denial of service attacks
- ban logic
- information security
- lightweight
- key distribution
- secure routing
- blind signature
- elliptic curve
- key agreement
- mobile agent system
- security requirements
- provably secure
- formal analysis
- secure multiparty computation
- intrusion detection
- mutual authentication
- trust negotiation
- communication protocols
- access control
- cryptographic algorithms
- diffie hellman
- mobile payment
- electronic voting
- key management
- network layer
- key exchange
- network security
- blind signature scheme
- physical layer
- communication protocol
- protocol specification
- security issues
- standard model
- secret key
- virtual private network
- public key
- tcp ip
- security problems
- medium access control
- rfid tags
- privacy preserving
- security services