安全协议形式化分析方法研究综述
作者简介：缪祥华（1972-），副教授，从事信息安全、网络安全和移动通信安全的研究。
通讯作者：黄明巍（1998-），硕士研究生，从事信息安全的研究，1104331869@qq.com。
引用本文：缪祥华，黄明巍，张世奇，等.安全协议形式化分析方法研究综述[J].化工自动化及仪表，2024，51（3）：367-378.
DOI：10.20030/j.cnki.1000⁃3932.202403001
摘 要 介绍了安全协议的基本概念和分类，然后对安全协议形式化分析方法进行了详细介绍，包括基于模态逻辑的方法、基于模型检测的方法、基于定理证明的方法和基于可证明安全性理论的方法。（剩余23988字）