【技術實現步驟摘要】
【技術保護點】
一種針對安全協議的形式化建模及驗證方法，其特征是，包括如下步驟：1)、對安全協議進行總結和分析，提取出安全協議所涉及的資源、協議參與者交互過程和安全屬性，使用Pi演算對這些信息進行描述，獲得安全協議的形式化模型；2)、根據得到的安全協議形式化模型作為輸入，使用Proverif工具進行自動化驗證，對驗證的結果進行細化分塊，并將發現的攻擊路徑進行圖形化；3)、將細化分塊后的驗證結果和圖形化的攻擊路徑整合，最終得到一份完整的協議驗證結果報表，使其能幫助安全協議研究人員較快的發現并修復安全協議存在的缺陷。
【技術特征摘要】
【專利技術屬性】
技術研發人員：李曉紅，沈崗，胡靜，韓卓兵，謝肖飛，張程偉，
申請(專利權)人：天津大學，
類型：發明
國別省市：
還沒有人留言評論。發表了對其他瀏覽者有用的留言會獲得科技券。