本书介绍了安全协议形式化分析的研究现状、主要技术流派，以及协议描述语言ProDL，阐述了基于算法知识逻辑的网络安全协议模型检测分析方法；在网络安全协议验证模型生成系统中，采用偏序归约、语法重定序以及静态分析等优化策略，有效缓解模型检测过程中状态爆炸问题；对事件逻辑进行扩展，提出一系列规则，对安全协议进行形式化描述。

  推荐以下三种渠道：

  点击前往： 豆瓣读书
  点击前往： 京东读书
  点击前往： 当当图书
  ·点击进入下载地址