机读格式显示(MARC)

• 000 00995nam0 2200241 450

• 001 0000241210

• 005 20131104193500.0

• 010 __ |a 978-7-03-036826-3 |d 85

• 100 __ |a 20130626d2013 ekmy0chiy0120 ea

• 101 1_ |a chi

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 安全远程网络投票协议 |f 孟博、王德军著 |A ji yu ji suan mo xing de an quan yuan cheng wang lao kong zhi |F meng bo wang de jun zhu

• 210 __ |c 科学出版社 |d 2013-02

• 215 __ |d 26cm |a 220

• 225 2_ |a 智能科学技术著作丛书 |A Zhi Neng Ke Xue Ji Shu Zhu Zuo Cong Shu

• 330 __ |a 本书全面介绍了对国内外远程安全控制模型、设计及其实现技术。主要内容包含：远程控制协议的分类和模型，紧密相关的密码学技术，最新的典型的远程控制协议，基于符号模型和计算模型的自动化/手工方式分析与验证远程控制协议安全性。

• 333 __ |a 控制科学与工程、计算机控制、工

• 410 _0 |1 2001 |a 智能科学技术著作丛书

• 690 __ |a TP273 |v 4

• 701 _0 |a 孟博、王德军著 |A meng bo wang de jun zhu

• 801 _0 |a CN |b WXCSXY |c 20131104

• 905 __ |a WXCSXY |d TP273/158