A formal security proof for the ZRTP Protocol.
Riccardo BrescianiAndrew ButterfieldPublished in: ICITST (2009)
Keyphrases
- formal analysis
- ban logic
- cryptographic protocols
- security protocols
- authentication protocol
- key agreement protocol
- security properties
- security analysis
- key exchange protocol
- security model
- rfid systems
- mobile payment
- formal model
- formal proof
- communication protocols
- security requirements
- provably secure
- secure multiparty computation
- denial of service attacks
- diffie hellman
- mutual authentication
- security issues
- information security
- key agreement
- elliptic curve
- formal methods
- security services
- medium access control
- cryptographic algorithms
- electronic voting
- virtual private network
- contractual obligations
- physical layer
- intrusion detection
- access control
- ns simulator
- security policies
- theorem prover
- network security
- messages exchanged
- sensor networks
- lightweight
- semi honest
- privacy preserving
- ad hoc networks
- security mechanisms
- key management
- blind signature scheme
- application layer
- trusted third party
- group communication