基于事件的群组密钥协商协议形式化分析研究

沈延, 姚萌萌

Research on Formal Analysis Based on Event of Group Key Agreement Protocol

SHEN Yan, YAO Mengmeng

信息网络安全 . 2022, (5): 30 -36 . DOI: 10.3969/j.issn.1671-1122.2022.05.004