Research on Formal Analysis Based on Event of Group Key Agreement Protocol
SHEN Yan, YAO Mengmeng
Netinfo Security . 2022, (5): 30 -36 .  DOI: 10.3969/j.issn.1671-1122.2022.05.004