Performing Security Proofs of Stateful Protocols.
Andreas V. HessSebastian MödersheimAchim D. BruckerAnders SchlichtkrullPublished in: CSF (2021)
Keyphrases
- security protocols
- cryptographic protocols
- key agreement protocol
- communication protocols
- security properties
- security services
- authentication protocol
- application level
- secure multiparty computation
- information security
- key exchange
- security issues
- key distribution
- communication protocol
- messages exchanged
- access control
- key management
- security requirements
- security policies
- theorem proving
- intrusion detection
- security analysis
- network security
- protocol specification
- computer security
- physical layer
- mutual authentication
- transaction processing systems
- key establishment
- privacy preserving