书目信息 机读格式(MARC)
安全协议原理与验证
| ISBN/价格： | 978-7-5635-7489-6:CNY49.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 安全协议原理与验证/.王聪，黄山主编 |
| 版本项： | 2版 |
| 出版发行项： | 北京:,北京邮电大学出版社:,2025.01 |
| 载体形态项： | 243页:;+26cm |
| 一般附注： | 高等院校网络空间安全系列规划教材 |
| 提要文摘： | 本书内容包括四部分，第一部分为基础知识，包括安全协议基本原理介绍、安全性分析以及密码学基础；第二部分为安全协议原理，包括安全协议概述、认证与密钥交换协议、电子商务协议以及实际使用中的安全协议；第三部分为安全协议的分析、验证方法，包括BAN逻辑、BAN类逻辑、Kailar逻辑、CS逻辑和串空间模型理论等；第四部分为安全协议前沿技术研究简介，包括前沿计算领域中的安全协议、安全协议硬件卸载和人工智能与安全协议。 |
| 题名主题： | 计算机网络 安全技术 高等学校 教材 |
| 中图分类： | TP393.08 |
| 个人名称等同： | 王聪 主编 |
| 个人名称等同： | 黄山 主编 |
| 记录来源： | CN LCTBU 20250421 |