安全協(xié)議形式化分析方法研究綜述

作者簡(jiǎn)介：繆祥華（1972-），副教授，從事信息安全、網(wǎng)絡(luò)安全和移動(dòng)通信安全的研究。

通訊作者：黃明?。?998-），碩士研究生，從事信息安全的研究，[email protected]。

引用本文：繆祥華，黃明巍，張世奇，等.安全協(xié)議形式化分析方法研究綜述[J].化工自動(dòng)化及儀表，2024，51（3）：367-378.

DOI：10.20030/j.cnki.1000?3932.202403001

摘 要 介紹了安全協(xié)議的基本概念和分類，然后對(duì)安全協(xié)議形式化分析方法進(jìn)行了詳細(xì)介紹，包括基于模態(tài)邏輯的方法、基于模型檢測(cè)的方法、基于定理證明的方法和基于可證明安全性理論的方法。（剩余23988字）