同类推荐
-
-
ChatGPT与数字图像处理
-
¥78.00
-
-
AI视频制作爆款30例:短视频、电影特效、神话创意与商…
-
¥98.00
-
-
AI视频制作爆款30例:短视频、电影特效、神话创意与商…
-
¥98.00
-
-
AI视频制作爆款30例:短视频、电影特效、神话创意与商…
-
¥98.00
-
-
GAN驱动的单视角三维重建
-
¥58.00
-
-
鸿蒙HarmonyOS NEXT经典实例开发指南
-
¥89.00
-
-
AIGC短视频制作与运营:慕课版
-
¥69.80
-
-
基于视听融合的说话人定位与跟踪技术
-
¥78.00
-
-
基于视听融合的说话人定位与跟踪技术
-
¥78.00
-
-
基于视听融合的说话人定位与跟踪技术
-
¥78.00
|
|
图书信息
|
|
|
|
密码协议实现的逻辑安全分析与设计
|
| ISBN： | 9787113290917 |
定价： | ￥79.00 |
| 作者： | 吴福生，李延斌著 |
出版社： | 中国铁道出版社有限公司 |
| 出版时间： | 2022年07月 |
开本： | 26cm |
| 页数： | 182页 |
装祯： | 精装 |
中图法： | TN918.1 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
3
|
|
2025-12-10
|
图书简介 | | 本书主要探讨密码协议实现(密码协议程序源代码)时的逻辑安全性，引入了逻辑推理与规则的安全证明，在分析方面讨论了密码协议实现时的轨迹安全、快速判断密码协议实现时导致不安全原因、基于内容安全的密码协议代码实现模型分析和密码协议实现时的侧信道安全分析。在设计方面，本书讨论了非签名认证的密钥协商协议设计和基于协议底层实现安全的密钥协商协议。所有的逻辑实现方案都通过源代码(C语言和Socket通信编程)进行实验分析，实验结果符合预期要求。 |
|