The Double Ratchet: Security Notions, Proofs, and Modularization for the Signal Protocol.
Joël AlwenSandro CorettiYevgeniy DodisPublished in: IACR Cryptol. ePrint Arch. (2018)
Keyphrases
- cryptographic protocols
- security protocols
- authentication protocol
- ban logic
- formal proof
- key agreement protocol
- security properties
- security analysis
- rfid systems
- key exchange protocol
- security model
- formal analysis
- secure multiparty computation
- protocol specification
- access control
- provably secure
- denial of service attacks
- communication protocols
- privacy preserving
- key distribution
- signal processing
- lightweight
- security services
- physical layer
- network security
- theorem prover
- security requirements
- virtual private network
- cryptographic algorithms
- homomorphic encryption
- mutual authentication
- mobile agent system
- statistical databases
- key agreement
- mobile payment
- security policies
- security mechanisms
- group communication
- key exchange
- trusted third party
- intrusion detection
- information security
- blind signature
- theorem proving
- trust negotiation
- software design
- security problems
- electronic voting
- messages exchanged
- rfid tags
- blind signature scheme
- key establishment
- public key
- medium access control
- network layer
- sensor networks
- smart card