← 返回

安全协议原理与验证

著者王聪,黄山主编
ISBN9787563574896
分类号TP393.08 自动化技术、计算机技术
学科工学
版次第2版
出版社北京邮电大学出版社
丛书名
出版年2025
价格¥49.00
页码243页
类型 📄 纸质书
核心评分9.7/10
读者对象
主题词计算机网络——安全技术——高等学校——教材
内容简介:本书内容包括四部分,第一部分为基础知识,包括安全协议基本原理介绍、安全性分析以及密码学基础;第二部分为安全协议原理,包括安全协议概述、认证与密钥交换协议、电子商务协议以及实际使用中的安全协议;第三部分为安全协议的分析、验证方法,包括BAN逻辑、BAN类逻辑、Kailar逻辑、CS逻辑和串空间模型理论等;第四部分为安全协议前沿技术研究简介,包括前沿计算领域中的安全协议、安全协议硬件卸载和人工智能与安全协议。
登录后可荐购