加载中...
扫一扫
下载苏宁易购APP
关注苏宁推客公众号
自购省钱·分享赚钱
下载苏宁金融APP
关注苏宁易购服务号
用户评价:----
物流时效:----
售后服务:----
欢迎光临我们店铺!书籍都是正版全新书籍,欢迎下单~!!
实名认证领苏宁支付券立即领取 >
¥
提前抢
SUPER会员专享
由于此商品库存有限,请在下单后15分钟之内支付完成,手慢无哦!
欢迎光临本店铺
点我可查看更多商品哦~
100%刮中券,最高50元无敌券,券有效期7天
亲,今日还有0次刮奖机会
我的云钻:0
您的云钻暂时不足,攒足云钻再来刮
恭喜获得1张券!
今天的机会已经全部用完了,请明天再来
恭喜刮出两张券,请选择一张领取
活动自2017年6月2日上线,敬请关注云钻刮券活动规则更新。
如活动受政府机关指令需要停止举办的,或活动遭受严重网络攻击需暂停举办的,或者系统故障导致的其它意外问题,苏宁无需为此承担赔偿或者进行补偿。
音像安全协议实施安全自动化分析与验孟博,王德军
¥ ×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演算语法及语义 . Applied PI演算BNF范式 参考文献 第3章 一阶定理明器ProVerif及应用 3.1 引言 3.2 一阶定理明器ProVerif 3.3 ProVerif的输入和输出 3.4 自动化分析Open Connect安全协议安全 3.4.1 Open Connect安全协议 3.4.2 应用Applied PI演算对Open Connect安全协议形式化建模 3.4.3 利用Proverif验Open 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 自动化分析改进的Open Connect安全协议认 3.6.1 改进的Open Connect安全协议 3.6.2 应用Applied PI演算对改进的0pen Connect安全协议形式化建模 3.6.3 利用ProVerif验改进的Open 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 引言 5.2 自动化安全协议明器CryptoVerif 5.2.1 结构 5.2.2 明目标 5.. 语法 5.3 自动化分析TLS 1.3握手协议安全 5.3.1 TLS 1.3握手协议 5.3.2 应用Blanchet演算对TLS 1.3握手协议形式化建模 5.3.3 利用Crypto Verif验TLS 1.3握手协议的秘密和认 5.3.4 分析结果 参考文献 第6章 自动化抽取安全协议Blanchet演算实施模型 6.1 引言 6.2 Swift语言子集SubSwift语言及其BNF范式 6.3 Swift语言到Blanchet演算映模型 6.4 Swift语言到Blanchet演算语句映关系 6.5 Swift语言类型到Blanchet演算类型映关系 参考文献 第7章 安全协议抽象规范模型生成工具Swift2CV 7.1 引言 7.2 Swift2CV架构 7.3 Swift2CV词法分析器 7.4 Swift2CV语法分析器 7.5 Swift2CV语法树遍历器 7.6 Swift2CV语法树注解器 7.7 Swift2CV使用手册 参考文献 第8章 典型安全协议Swift实施安全分析 8.1 引言 8.2 Open Connect协议Swift实施安全 8.2.1 Open Connect协议Swift实施 8.2.2 Open Connect协议Blanchet实施 8.3 Oauth2.0协议Swift实施安全 8.4 TLS1.2协议Swift实施安全 参考文献 第9章 基于消息构造的安全协议实施安全分析 9.1 引言 9.2 基于API trace的安全协议消息构造方法 9.2.1 Net-trace解析 9.2.2 API trace解析 9.. Token定位 9.2.4 安全函数重构与消息构造 9.3 安全协议服务器端抽象模型生成 9.3.1 安全协议服务器端响应消息解析 9.3.2 安全协议服务器端抽象模型生成方法 9.4 基于消息构造的安全协议实施安全分析方法 参考文献 0章 安全协议实施安全分析工具SPISA 10.1 引言 10.2 SPISA架构 10.3 SPISA Net-trace解析器 10.4 SPISA API trace解析器 10.5 SPISA Token定位器 10.6 SPISA安全函数重构器 10.7 SPISA服务器端模型生成器 10.8 SPISA测试 参考文献 1章 典型认系统安全分析 11.1 引言 11.2 RSAAuth认系统安全分析 11.2.1 请求消息构造 11.2.2 服务器端抽象模型生成 11.. 分析结果 11.3 腾讯邮件认系统安全分析 参考文献 2章 基于网络轨迹的安全协议实施安全分析 12.1 引言 12.2 安全协议实施本体架构 1. 面向多个混合安全协议轨迹的安全协议格式逆向分析 1..1 轨迹分割 1..2 IF分布拟合 1.. IF分类 1..4 轨迹聚类 1..5 格式推断 12.4 安全协议轨迹到安全协议实施本体的映方法 12.4.1 预处理 12.4.2 Token匹配 12.4.3 Msg匹配方法 12.4.4 Flow匹配方法 12.5 基于网络轨迹的安全协议实施安全分析方法 12.6 讨论 参考文献 3章 安全协议实施安全分析工具NTISA 13.1 引言 13.2 NTISA架构 13.3 格式解析器FA 13.3.1 Token分割模块 13.3.2 曲线拟合模块 13.3.3 字符分类模块 13.3.4 轨迹分类模块 13.3.5 协议格式推断模块 13.4 语义解析器SA 13.4.1 安全协议实施本体模块 13.4.2 Token匹配模块 13.4.3 Msg匹配模块 12.4.4 Flow匹配模块 13.5 实施安全分析器ISA 13.5.1 轨迹标记模块 13.5.2 映分析模块 13.5.3 非本体Token分析模块 参考文献 4章 某认平台安全协议实施安全分析 14.1 引言 14.2 数据获取 14.3 格式解析 14.3.1 Token分割 14.3.2 曲线拟合 14.3.3 字符与轨迹分类 14.3.4 协议格式推断 14.3.5 语义解析 14.3.6 安全协议实施本体构造 14.3.7 Token权值计算 14.3.8 Msg匹配 14.3.9 Flow匹配 14.4 分析结果 参考文献
抢购价:¥ 38.00
易购价:¥ 38.00
注:参加抢购将不再享受其他优惠活动
亲,很抱歉,您购买的宝贝销售异常火爆,让小苏措手不及,请稍后再试~
验证码错误
看不清楚?换一张
确定关闭
亲,大宗购物请点击企业用户渠道>小苏的服务会更贴心!
亲,很抱歉,您购买的宝贝销售异常火爆让小苏措手不及,请稍后再试~
查看我的收藏夹
非常抱歉,您前期未参加预订活动,无法支付尾款哦!
关闭
抱歉,您暂无任性付资格
继续等待
0小时0分
立即开通
SUPER会员