机读格式显示(MARC)
- 000 01094nam0 2200265 450
- 010 __ |a 978-7-03-050867-6 |d CNY68.00
- 100 __ |a 20161226d2016 em y0chiy0110 ea
- 200 1_ |a 安全协议实施自动化生成与验证 |9 an quan xie yi shi shi zi dong hua sheng cheng yu yan zheng |b 专著 |f 孟博,王德军著
- 210 __ |a 北京 |c 科学出版社 |d 2016
- 330 __ |a 本书包括五篇,共15章。全面介绍了安全实施自动化生成与验证的基本理论和关键技术及最新成果。主要内容包括安全协议规范与实施的形式化分析与验证的国内外发展现状、基于计算模型自动化抽取安全协议Blanchet演算实施模型、安全协议Blanchet演算实施自动化抽取工具JAVA 2CV等。
- 333 __ |a 本书适用于从事安全协议、密码学、计算机、软件工程、通信、数学等专业科技人员、硕士和博士研究生
- 606 0_ |a 计算机网络 |x 安全技术 |x 通信协议
- 701 _0 |a 孟博 |9 meng bo |4 著
- 701 _0 |a 王德军 |9 wang de jun |4 著
- 801 _0 |a CN |b ZPHC |c 20170510
- 905 __ |a ZPHC |d TP393.08/255