扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
C Primer Plus 第6版 中文版
-
>
深度学习
-
>
MATLAB计算机视觉与深度学习实战-赠在线交流卡和本书源码
密码协议实现的逻辑安全分析与设计(精) 版权信息
- ISBN：9787113290917
- 条形码：9787113290917 ; 978-7-113-29091-7
- 装帧：一般胶版纸
- 册数：暂无
- 重量：暂无
- 所属分类：>
密码协议实现的逻辑安全分析与设计(精) 本书特色
秉承理论与实践融合的基本框架，从软件实现角度思考密码协议的安全，提出符合实验预期的新方案
密码协议实现的逻辑安全分析与设计(精) 内容简介
本书主要探讨密码协议实现（密码协议程序源代码）时的逻辑安全性，引入了逻辑推理与规则的安全证明，在分析方面讨论了密码协议实现时的轨迹安全、快速判断密码协议实现时导致不安全原因、基于内容安全的密码协议代码实现模型分析和密码协议实现时的侧信道安全分析。在设计方面，本书讨论了非签名认证的密钥协商协议设计和基于协议底层实现安全的密钥协商协议。所有的逻辑实现方案都通过源代码（C语言和Socket通信编程）进行实验分析，实验结果符合预期要求。
密码协议实现的逻辑安全分析与设计(精) 目录
第1章 绪论
1.1 引言
1.2 关键技术
1.3 本书结构介绍
参考文献
第2章 密码协议实现安全的研究现状
2.1 代码模型提取安全验证分析
2.1.1 C语言模型提取分析
2.1.2 Java语言模型提取分析
2.1.3 F#语言模型提取分析
2.2 代码自动生成安全验证分析
2.2.1 基于编译器代码自动生成分析
2.2.2 基于Java语言代码自动生成分析
2.3 基于操作语义安全验证分析
2.4 密码协议精化安全验证分析
2.4.1 精化检测工具协议分析
2.4.2 程序精化分析
2.4.3 信息流精化分析
2.5 本章小结
参考文献
第3章 非签名认证的密钥协商协议设计
3.1 新协议涉及的群同态基础知识
3.1.1 群同态的基本定义
3.1.2 群同态的基本定理
3.2 整数乘法同态二叉树的构造与分析
3.3 整数乘法同态二叉树的基本遍历与性质
3.4 整数乘法同态二叉树的密钥协商协议
3.4.1 构造一棵叶子结点为素数的整数乘法同态二叉树
3.4.2 整数乘法同态二叉树密钥协商协议具体步骤
3.5 协议安全分析
3.5.1 一般安全性分析
3.5.2 随机预言模型（Random Oracle Model）的可证明安全分析
3.6 新协议结构的安全分析
3.7 新协议性能比较与实验分析
3.7.1 新协议的二叉树存储与遍历
3.7.2 新协议实现的实验
3.7.3 参数n对网络通信的影响
3.8 本章小结
参考文献
第4章 通过密码协议在代码级上实现时的轨迹行为是否异常来评估其安全性
4.1 相关研究工作
4.2 知识准备
4.2.1 标号迁移系统与强模拟
4.2.2 程序的精化
4.2.3 密码协议源代码的程序精化
4.3 建立模型
4.3.1 密码协议的符号化描述
4.3.2 密码协议源代码精化
4.3.3 程序控制流图
4.3.4 从控制流图到状态图
展开全部
密码协议实现的逻辑安全分析与设计(精) 作者简介
吴福生，副教授，博士研究生，毕业于武汉大学国家网络安全学院信息安全专业，就职于贵州财经大学贵州省经济系统仿真重点实验室；研究方向：大数据应用与安全，密码协议设计与分析，软件实现的逻辑安全。主持：国家自然科学基金项目1项；贵州省教育厅自然科学基金1项。申请1项发明专利。在国内外知名期刊《计算机学报》、《计算机研究与发展》、和《SecurityandCommunicationNetworks》、《IEEEACCESS》《JournalofSystemsArchitecture》等国内外期刊发表10余篇，其中SCI/EI共8篇。
书友推荐
- >
罗庸西南联大授课录
罗庸西南联大授课录
¥21.1¥32.0 - >
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
¥6.3¥14.0 - >
月亮与六便士
月亮与六便士
¥13.4¥42.0 - >
经典常谈
经典常谈
¥25.9¥39.8 - >
二体千字文
二体千字文
¥16.0¥40.0 - >
烟与镜
烟与镜
¥28.4¥48.0 - >
伯纳黛特,你要去哪(2021新版)
伯纳黛特,你要去哪(2021新版)
¥23.4¥49.8 - >
李白与唐代文化
李白与唐代文化
¥9.9¥29.8
本类畅销
-
网络工程
¥16.8¥39 -
2022图书×抽奖盲袋
¥9.9¥25 -
2023读书月阅读盲盒——天黑，闭眼，刀谁？
¥42.3¥158 -
-
2022读者节纪念徽章-三星会员专属
¥45¥45.6 -
2023读书月阅读盲盒——我什么场面没见过？
¥42.3¥158
