机读格式显示(MARC)
- 000 01067nam0 2200241 450
- 010 __ |a 978-7-03-062633-2 |d CNY78.00
- 100 __ |a 20191119d2019 em y0chiy50 ea
- 200 1_ |a 安全协议形式化分析与验证 |A an quan xie yi xing shi hua fen xi yu yan zheng |f 肖美华著
- 210 __ |a 北京 |c 科学出版社 |d 2019.11
- 330 __ |a 本书内容主要包括以下部分:安全协议形式化分析背景及研究现状。介绍了安全协议及形式化方法基本概念,安全协议形式化分析研究发展历史和国内外研究现状。形式化方法基本理论。对模态逻辑、模型检测,定理证明三类形式化方法进行了详细阐述和对比分析,介绍了Murφ和Spin具有代表性的形式化分析工具。安全协议。介绍了安全协议的基本概念及分类,从安全协议受攻击类型角度提出安全协议形式化分析的必要性。
- 606 0_ |a 计算机网络 |A ji suan ji wang luo |x 安全技术 |x 通信协议
- 701 _0 |a 肖美华 |A xiao mei hua |4 著
- 801 _0 |a CN |b HDUL |c 20200410
- 905 __ |a HDUL |d TP393.08/982