机读格式显示(MARC)

• 000 01553nam0 2200337 450

• 001 0000416118

• 005 20231117103500.0

• 010 __ |a 978-7-113-29091-7 |b 精装 |d CNY79.00

• 092 __ |b CIP-610390D875F6402D8423FBDC83B50ED6

• 099 __ |a CAL 012022082497

• 100 __ |a 20220823d2022 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a a a 000yy

• 106 __ |a r

• 200 1_ |a 密码协议实现的逻辑安全分析与设计 |A mi ma xie yi shi xian de luo ji an quan fen xi yu she ji |d = Logical security analysis and design of cryptographic protocol implementation |f 吴福生, 李延斌著 |z eng

• 210 __ |a 北京 |c 中国铁道出版社有限公司 |d 2022

• 215 __ |a 182页 |c 图 |d 26cm

• 300 __ |a 计算机网络安全

• 320 __ |a 有书目

• 330 __ |a 本书主要探讨密码协议实现 (密码协议程序源代码) 时的逻辑安全性, 引入了逻辑推理与规则的安全证明, 在分析方面讨论了密码协议实现时的轨迹安全、快速判断密码协议实现时导致不安全原因、基于内容安全的密码协议代码实现模型分析和密码协议实现时的侧信道安全分析。在设计方面, 本书讨论了非签名认证的密钥协商协议设计和基于协议底层实现安全的密钥协商协议。所有的逻辑实现方案都通过源代码 (C语言和Socket通信编程) 进行实验分析, 实验结果符合预期要求。

• 510 1_ |a Logical security analysis and design of cryptographic protocol implementation |z eng

• 606 0_ |a 密码协议 |A mi ma xie yi |x 研究

• 690 __ |a TN918.1 |v 5

• 701 _0 |a 吴福生 |A wu fu sheng |4 著

• 701 _0 |a 李延斌 |A li yan bin |4 著

• 801 _0 |a CN |b 人天书店 |c 20220823

• 905 __ |a XATU |d TN918.1/102

• 920 __ |a 261060 |z 1

• 921 __ |a BMQZ |b RTBOOK

• 998 __ |a RTBOOK