一個(gè)安全協(xié)議形式化分析工具的研究

摘要：介紹了安全協(xié)議形式化分析方法，給出了一個(gè)自動(dòng)化分析集成工具。該工具基于模態(tài)邏輯實(shí)現(xiàn)自動(dòng)推理，采用可視化框架描述協(xié)議體。重點(diǎn)分析了該軟件的模塊結(jié)構(gòu)和工作原理，可為形式化分析工具的設(shè)計(jì)和開(kāi)發(fā)提供參考。

關(guān)鍵詞：安全協(xié)議；形式化方法；自動(dòng)分析；邏輯推理

注：本文中所涉及到的圖表、注解、公式等內(nèi)容請(qǐng)以PDF格式閱讀原文