关于我们
新书资讯
新书推荐

安全协议形式化分析与验证

安全协议形式化分析与验证

定     价:¥109

中 教 价:¥74.12  (6.80折)

库 存 数: 0

  • 作者:肖美华著
  • 出版时间:2020/1/1
  • ISBN:9787030626332
  • 出 版 社:科学出版社
适用读者:本书适用于高等院校计算机、软件工程、信息安全等专业高年级本科生和研究生、相关专业领域的科研人员
  • 中图法分类:TP393.08 
  • 页码:168
  • 纸张:
  • 版次:31
  • 开本:B5
  • 商品库位:
9
7
6
8
2
7
6
0
3
3
3
0
2
购买数量:     
本书内容主要包括以下部分:安全协议形式化分析背景及研究现状。介绍了安全协议及形式化方法基本概念,安全协议形式化分析研究发展历史和国内外研究现状。形式化方法基本理论。对模态逻辑、模型检测,定理证明三类形式化方法进行了详细阐述和对比分析,介绍了Murφ和Spin具有代表性的形式化分析工具。安全协议。介绍了安全协议的基本概念及分类,从安全协议受攻击类型角度提出安全协议形式化分析的必要性。
 你还可能感兴趣
 我要评论
您的姓名   验证码: 图片看不清?点击重新得到验证码
留言内容