Modular Design of Secure Group Messaging Protocols and the Security of MLS.
Joël AlwenSandro CorettiYevgeniy DodisYiannis TselekounisPublished in: CCS (2021)
Keyphrases
- modular design
- security protocols
- cryptographic protocols
- key agreement protocol
- authentication protocol
- key distribution
- security properties
- key exchange
- security services
- secure multiparty computation
- key establishment
- security requirements
- multilevel secure
- key management
- security issues
- security mechanisms
- mandatory access control
- security measures
- security level
- security analysis
- diffie hellman
- mutual authentication
- fault tolerant
- privacy preserving
- multilevel security
- access control
- application level
- smart card
- wireless sensor networks
- homomorphic encryption
- message delivery
- group communication
- user authentication
- information security
- security management
- secure communication
- security policies
- key agreement
- session key
- semi honest
- data encryption
- sensitive data
- security patterns
- security model
- stream cipher
- secret key
- key exchange protocol
- standard model
- trusted third party
- private key
- authentication scheme
- electronic voting
- operating system
- database systems
- messages exchanged
- authentication mechanism
- communication protocols
- identity management