Modular Design of Secure Group Messaging Protocols and the Security of MLS.

本文正式研究了安全群组消息（SGM）协议的安全性定义与模块化构造，并以 IETF 正在标准化的 Messaging Layer Security（MLS）协议为具体对象，填补了此前缺乏对完整 MLS 协议进行安全证明的空白。此前对 MLS

历史摘要 · 未重新核验 · ACM CCS