Avoiding inconsistencies in the Security Content Automation Protocol.
William M. FitzgeraldSimon N. FoleyPublished in: CNS (2013)
Keyphrases
- cryptographic protocols
- security protocols
- key agreement protocol
- security properties
- key exchange protocol
- ban logic
- authentication protocol
- security analysis
- information security
- secure multiparty computation
- formal analysis
- metadata
- communication protocols
- denial of service attacks
- security model
- privacy preserving
- rfid systems
- industrial automation
- intrusion detection
- network security
- cryptographic algorithms
- lightweight
- access control
- security problems
- security threats
- security services
- provably secure
- electronic voting
- mobile payment
- multimedia
- protocol specification
- homomorphic encryption
- mobile agent system
- network layer
- key management
- security policies
- multimedia content
- diffie hellman
- group communication
- medium access control
- application layer
- communication protocol
- security issues
- statistical databases
- secure routing
- contractual obligations