扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
C Primer Plus 第6版 中文版
-
>
深度学习
-
>
MATLAB计算机视觉与深度学习实战-赠在线交流卡和本书源码
安全协议实施安全性自动化分析与验证 版权信息
- ISBN：9787030625069
- 条形码：9787030625069 ; 978-7-03-062506-9
- 装帧：平装-胶订
- 册数：暂无
- 重量：暂无
- 所属分类：>
安全协议实施安全性自动化分析与验证 本书特色
本书共分五篇14章。系统地全面介绍了安全协议实施安全性自动化分析与验证的基本理论和关键技术及*成果。主要内容包括安全协议实施安全性分析与验证关键技术及国内外发展现状、应用PI演算、一阶定理证明器ProVerif及应用、概率进程演算Blanchet演算、自动化安全协议证明器CryptoVerif及应用、基于能够获取安全协议客户端实施和安全协议服务器端实施自动化分析其安全性、基于仅能够获取安全协议客户端实施自动化分析其安全性，基于不能获取安全协议客户端实施和安全协议服务器端实施自动化分析其安全性等。
安全协议实施安全性自动化分析与验证 内容简介
本书共分五篇14章。系统地全面介绍了安全协议实施安全性自动化分析与验证的基本理论和关键技术及*新成果。主要内容包括安全协议实施安全性分析与验证关键技术及国内外发展现状、应用PI演算、一阶定理证明器ProVerif及应用、概率进程演算Blanchet演算、自动化安全协议证明器CryptoVerif及应用、基于能够获取安全协议客户端实施和安全协议服务器端实施自动化分析其安全性、基于仅能够获取安全协议客户端实施自动化分析其安全性, 基于不能获取安全协议客户端实施和安全协议服务器端实施自动化分析其安全性等。
安全协议实施安全性自动化分析与验证 目录
第1章 安全协议实施安全性分析与验证现状
1.1 引言
1.2 能够获取安全协议客户端实施和安全协议服务器端实施
1.2.1 程序验证
1.2.2 模型抽取
1.3 仅能够获取安全协议客户端实施
1.3.1 网络轨迹
1.3.2 模型抽取
1.4 不能获取安全协议客户端实施和安全协议服务器端实施
1.4.1 指令序列
1.4.2 网络轨迹
1.4.3 流量识别
参考文献
第2章 Applied PI演算与其BNF范式
2.1 引言
2.2 Applied PI演算语法及语义
2.3 Applied PI演算BNF范式
参考文献
第3章 一阶定理证明器ProVerif及应用
3.1 引言
3.2 一阶定理证明器ProVerif
3.3 ProVerif的输入和输出
3.4 自动化分析OpenID Connect安全协议安全性
3.4.1 OpenID Connect安全协议
3.4.2 应用Applied PI演算对OpenID Connect安全协议形式化建模
3.4.3 利用Proverif验证OpenID Connect安全协议秘密性和认证性
3.4.4 分析结果
3.5 自动化分析PPMUAS身份认证协议安全性
3.5.1 PPMUAS身份认证协议
3.5.2 应用Applied PI演算对PPMUAS身份认证协议形式化建模
3.5.3 利用Proverif验证PPMUAS身份认证协议秘密性和认证性
3.5.4 分析结果
3.6 自动化分析改进的OpenID Connect安全协议认证性
3.6.1 改进的OpenID Connect安全协议
3.6.2 应用Applied PI演算对改进的0penID Connect安全协议形式化建模
3.6.3 利用ProVerif验证改进的OpenID Connect安全协议认证性
3.6.4 分析结果
3.7 自动化分析Mynah安全协议认证性
3.7.1 Mynah安全协议
3.7.2 应用Applied PI演算对Mynah安全协议形式化建模
3.7.3 利用ProVerif验证Mynah安全协议认证性
3.7.4 分析结果
参考文献
第4章 概率进程演算Blanchet演算与其BNF范式
4.1 引言
4.2 Blanchet演算语法及语义
4.3 Blanchet演算BNF范式
参考文献
第5章 自动化安全协议证明器CryptoVerif及应用
5.1 引言
展开全部
书友推荐
- >
朝闻道
朝闻道
¥10.2¥23.8 - >
二体千字文
二体千字文
¥16.0¥40.0 - >
诗经-先民的歌唱
诗经-先民的歌唱
¥15.1¥39.8 - >
推拿
推拿
¥12.2¥32.0 - >
罗庸西南联大授课录
罗庸西南联大授课录
¥13.8¥32.0 - >
【精装绘本】画给孩子的中国神话
【精装绘本】画给孩子的中国神话
¥17.6¥55.0 - >
苦雨斋序跋文-周作人自编集
苦雨斋序跋文-周作人自编集
¥6.9¥16.0 - >
月亮虎
月亮虎
¥17.8¥48.0
本类畅销
-
数学之美
¥48.3¥69 -
浪潮之巅-下册-第二版
¥22.1¥45 -
挑战程序设计竞赛(第2版)
¥55.3¥79 -
算法竞赛入门经典-(第2版)
¥34.9¥49.8 -
2022图书×抽奖盲袋
¥9.9¥25 -
2023读书月阅读盲盒——天黑，闭眼，刀谁？
¥42.3¥158
