消息 首页 搜索 举报
  • 安全协议实施安全性自动化分析与验证
21年品牌 40万+商家 超1.5亿件商品

安全协议实施安全性自动化分析与验证

正版新书 新华官方库房直发 可开电子发票

￥ 70.56 7.2折 ￥ 98 全新

库存3件

江苏南京
认证卖家担保交易快速发货售后保障

作者孟博,王德军

出版社科学出版社

ISBN9787030625069

出版时间2019-11

版次1

装帧平装

开本B5

纸张胶版纸

页数249页

字数325千字

定价98元

货号SC:9787030625069

上书时间2024-12-22

文源文化

六年老店
已实名 已认证 进店 收藏店铺
  • 最新上架

   商品详情   

品相描述：全新
全新正版 提供发票
商品描述
内容简介:
《安全协议实施安全性自动化分析与验证》系统介绍安全协议实施安全性自动化分析与验证的基本理论和关键技术及新成果。《安全协议实施安全性自动化分析与验证》主要内容包括安全协议实施安全性分析与验证的国内外发展现状、一阶定理证明器ProVerif及应用、自动化安全协议证明器CryptoVerif及应用、基于计算模型自动化抽取安全协议Blanchet演算实施模型、安全协议Blanchet演算实施自动化抽取工具Swift2CV、基于消息构造的安全协议实施安全性分析方法、安全协议实施安全性分析工具SPISA、面向多个混合安全协议轨迹的安全协议实施安全性分析方法、安全协议实施安全性分析工具NTISA、典型安全协议实施安全性分析等。《安全协议实施安全性自动化分析与验证》可供从事安全协议、密码学、计算机、软件工程、通信、数学等专业的科技人员、硕士和博士研究生参考，也可供高等院校相关专业的师生参考。
目录:
第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
...

   相关推荐   

—  没有更多了  —

店铺评价
消息 首页 搜索

以下为对购买帮助不大的评价

全新正版 提供发票
此功能需要访问孔网APP才能使用
暂时不用
打开孔网APP