《安全協定形式化分析與驗證》是2019年科學出版社出版的圖書，作者是肖美華。
基本介紹
- 中文名：安全協定形式化分析與驗證
- 作者：肖美華
- 出版社：科學出版社
- ISBN：9787030626332
- 出版時間：2019-11
內容簡介,圖書目錄,
內容簡介
《安全協定形式化分析與驗槳享探證》是作者多年從事安全協定形企霉葛式化分析與驗證相關科研工作的總結，主要對兩種形式化方法做了歸納：基於SPIN工具的模型檢測和事件邏輯。
《安全協定形式化分析與驗證》主要內容如下：介紹了安全協定形式化分勸套全汗析的研究現狀、主要技術流派，以及協定描述語言ProDL，闡擔料述了基於算法知識邏輯的網路安全協定模型檢測分析方法，用於顯式地刻畫入侵者模型能力；在網路安全協定驗證模型生成系統中，採用偏序歸約、語法重定序以及靜態分析等最佳化策略，有效緩解模型檢測過程中狀態爆夜講幾炸問題；對事件邏輯進行擴展，提出一系列規則，對安全協定進行形式化描述，無需顯性刻畫入侵者模型，只需分析協定動作之間的匹配順序關係即可對協定的安全性進行證明。
圖書目錄
前言
第1章緒論
第2章形式化方法基本理論
第3章安全協定
第4章基於模型檢測的安全協定分析
第5章企盛頌網路安全協定驗證模型生成系統
第6章基於事件邏輯的安全協定形式化分析
第7章總結危戶影灶與展望
