《安全協定實施安全性自動化分析與驗證》是2019年科學出版社出版的圖書，作者是孟博、王德軍。
基本介紹
- 書名：安全協定實施安全性自動化分析與驗證
- 作者：孟博、王德軍
- 出版社：科學出版社
- ISBN：9787030625069
- 出版時間：2019-11
內容簡介,圖書目錄,
內容簡介
《安全協定實施安全性自動化分析與驗證》系統介紹安全協定實施安全性自動化分析與驗證的基本理論和關鍵技術及新成果。
《安全協定實施安全性自動化分析與驗證》主要內容包括安全協定實施安全性分析與驗證的國內外發展現狀、一階定理證明器ProVerif及套用、自動化安全協定證明器CryptoVerif及套用、基於計算模型自動化抽取安全協定Blanchet演算實施模型、安全協定Blanchet演算實施自動化抽取工具Swift2CV、基於訊息構造的安全協定實施安全性分析方法、安全協定實施安全性分析工具SPISA、面向多個混合安全協定軌跡的安全協定實施安全性分析方法、安全協定實施安全性分析工具NTISA、典型安全協定實施安全性分析等。
《安全協定實施安全性自動化分析與驗證》可供從事安全協定、密碼學、計算機、軟體工程、通信、數學等專業的科技人員、碩士和博士研究生參考，也可供高等院校相關專業的師生參考。
圖書目錄
第1章安全協定實施安全性分析與驗證現狀
第2章Applied PI演算與其BNF範式
第3章一階定理證明器ProVerif及套用
第4章機率進程演算Blanchet演算與其BNF範式
第5章自動化安全協定證明器CryptoVerif及套用
第6章自動化抽取安全協定Blanchet演算實施模型
第7章安全協定抽象規範模型生成工具Swift2CV
第8章典型安全協定Swift實施安全性分析
第9章基於訊息構造的安全協定實施安全性分析
第10章安全協定實施安全性分析工具SPISA
第11章典型認證系統安全性分析
第12章基於網路軌跡的安全協定實施安全性分析
第13章安全協定實施安全性分析工具NTISA
第14章某認證平台安全協定實施安全性分析
