本文正式研究了安全群组消息（SGM）协议的安全性定义与模块化构造，并以 IETF 正在标准化的 Messaging Layer Security（MLS）协议为具体对象，填补了此前缺乏对完整 MLS 协议进行安全证明的空白。此前对 MLS 的分析主要局限于其子协议（如连续群组密钥协商 CGKA），而完整 MLS 协议由于包含复杂的握手、成员变更、密钥更新、消息加密等多个环节，一直缺乏统一的安全建模。作者首先提出一个参数化的安全游戏来形式化定义 SGM 协议的安全性，该游戏通过一个“安全谓词”刻画具体构造所达到的安全级别。随后，作者将 MLS 视为一个 SGM 协议，展示了如何以黑盒方式模块化地由三个核心组件（以及若干标准密码原语）搭建：CGKA、前向安全的群组 AEAD（FS-GAEAD）和 PRF-PRNG。其中 FS-GAEAD 是一种新原语，大致对应群组消息通信的一个“epoch”；PRF-PRNG 则是一个双输入哈希函数，其第一个输入作为伪随机函数、第二个输入作为带输入的伪随机生成器。关键的贡献在于：MLS 的 SGM 安全谓词可以完全表示为底层各组件安全谓词的函数，因此任意替换某个组件都能立即得到新构造的安全声明。作者还给出了所有组件原语的实例化，包括用 MLS 的 TreeKEM 子协议实现 CGKA（并证明了其自适应安全性），以及用一个新构造（已被 MLS 采用）实现 FS-GAEAD。此外，文中还引入了若干新技术、新原语和新结果，例如扩展了 CGKA 文献中常用的广义选择性解密证明技术，并证明了另一个实用且更安全的 CGKA 协议 RTreeKEM（Alwen 等，CRYPTO '20）的自适应性安全。模块化方法直接产生一个推论，即使用 RTreeKEM 的 SGM 构造的安全特性。