📖 书目详情
安全协议原理与验证
| 著者 | 王聪，黄山主编 |
| ISBN | 9787563574896 |
| 中图分类 | TP393.08 自动化技术、计算机技术 |
| 学科分类 | 工学 |
| 版次 | 第2版 |
| 出版社 | 北京邮电大学出版社 |
| 丛书名 | — |
| 出版年 | 2025 |
| 页码 | 243页 |
| 价格 | ¥49.00 |
| 可推荐册数 | 请登录后查看 |
| 核心评分 |
8.9/10
|
📝 内容简介
本书内容包括四部分，第一部分为基础知识，包括安全协议基本原理介绍、安全性分析以及密码学基础；第二部分为安全协议原理，包括安全协议概述、认证与密钥交换协议、电子商务协议以及实际使用中的安全协议；第三部分为安全协议的分析、验证方法，包括BAN逻辑、BAN类逻辑、Kailar逻辑、CS逻辑和串空间模型理论等；第四部分为安全协议前沿技术研究简介，包括前沿计算领域中的安全协议、安全协议硬件卸载和人工智能与安全协议。
🏛️ 本馆馆藏信息
本馆暂无该书的馆藏记录，可在线借购