机读格式显示(MARC)

• 000 01279nam0 2200241 450

• 001 0000381662

• 005 20200908154500.0

• 010 __ |a 978-7-03-062633-2 |d CNY109.00

• 100 __ |a 20200408d2019 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 安全协议形式化分析与验证 |A an quan xie yi xing shi hua fen xi yu yan zheng |f 肖美华著

• 210 __ |a 北京 |c 科学出版社 |d 2019

• 215 __ |a 160页 |d 24cm

• 300 __ |a 华东交通大学教材(专著)基金资助项目

• 330 __ |a 本书是作者多年从事安全协议形式化分析与验证相关科研工作的总结，主要对两种形式化方法做了归纳：基于SPIN工具的模型检测和事件逻辑。主要内容如下：介绍了安全协议形式化分析的研究现状、主要技术流派，以及协议描述语言ProDL，阐述了基于算法知识逻辑的网络安全协议模型检测分析方法，用于显式地刻画入侵者模型能力；在网络安全协议验证模型生成系统中，采用偏序归约、语法重定序以及静态分析等优化策略，有效缓解模型检测过程中状态爆炸问题；对事件逻辑进行扩展，提出一系列规则，对安全协议进行形式化描述，无需显性刻画入侵者模型，只需分析协议动作之间的匹配顺序关系即可对协议的安全性进行证明。

• 606 0_ |a 计算机网络 |A Ji Suan Ji Wang Luo |x 安全技术 |x 通信协议

• 690 __ |a TP393.08 |v 5

• 701 _0 |a 肖美华 |A xiao mei hua |4 著

• 801 _0 |a CN |b DQNU |c 20200826

• 905 __ |a DQNU |d TP393.08/X39 |s 3