Establishing and preserving protocol security goals.
Joshua D. GuttmanPublished in: J. Comput. Secur. (2014)
Keyphrases
- cryptographic protocols
- security protocols
- authentication protocol
- key agreement protocol
- secure multiparty computation
- security properties
- ban logic
- key exchange protocol
- security model
- security analysis
- rfid systems
- denial of service attacks
- lightweight
- formal analysis
- information security
- key management
- provably secure
- mutual authentication
- privacy preserving
- key distribution
- communication protocols
- mobile agent system
- security requirements
- key agreement
- diffie hellman
- access control
- security problems
- security policies
- security mechanisms
- statistical databases
- key exchange
- mobile payment
- group communication
- secure routing
- security issues
- intrusion detection
- blind signature
- trusted third party
- network security
- security threats
- blind signature scheme
- trust negotiation
- electronic voting
- messages exchanged
- virtual private network
- communication protocol
- wireless sensor networks
- security services
- homomorphic encryption
- multi party
- physical layer