|
题名:
|
安全协议原理与验证 / 王聪，黄山主编 , |
|
ISBN:
|
978-7-5635-7489-6 价格： CNY49.00 |
|
语种:
|
chi |
|
载体形态:
|
243页 图 26cm |
|
出版发行:
|
出版地： 北京 出版社： 北京邮电大学出版社 出版日期： 2025 |
|
内容提要:
|
本书内容包括四部分，第一部分为基础知识，包括安全协议基本原理介绍、安全性分析以及密码学基础；第二部分为安全协议原理，包括安全协议概述、认证与密钥交换协议、电子商务协议以及实际使用中的安全协议；第三部分为安全协议的分析、验证方法，包括BAN逻辑、BAN类逻辑、Kailar逻辑、CS逻辑和串空间模型理论等；第四部分为安全协议前沿技术研究简介，包括前沿计算领域中的安全协议、安全协议硬件卸载和人工智能与安全协议。 |
|
主题词:
|
计算机网络 安全技术 |
|
中图分类法:
|
TP393.08 版次： 5 |
|
主要责任者:
|
王聪 主编 |
|
主要责任者:
|
黄山 主编 |
|
版次:
|
2版 |