返回检索首页
我的图书馆登录
书 名
作 者
分类号
ISBN
索书号
主题词
出版社
任意词
每页显示
10
20
50
排序选项
排序方式
出版日期
索书号
出版社
排序方式
降序排列
升序排列
计算
共有
2
条记录
共耗时[0.000]秒
页码:
1
/
1
每页显示:
10
记录
跳转:
出版社:"科学出版社"
作者:"孟博, 王德军"
安全协议实施自动化生成与验证
:孟博, 王德军
作者:
孟博, 王德军
出版社:
科学出版社
出版时间:
20160101
ISBN:
978-7-03-050867-6
索书号:
TP393.08/532
分类号:
TP393.08
页数:
318页
价格:
CNY68.00
复本数:
在馆数:
累借天数:
累借次数:
本书共分五篇15章。系统地全面介绍了安全协议实施生成与验证的基本理论和关键技术及最新成果。主要内容包括安全协议协议规范形式化分析与验证技术、安全协议实施的生成与验证技术及其国内外发展现状、应用PI演算、一阶定理证明器ProVerif及应用、概率进程演算Blanchet演算、自动化安全协议证明器CryptoVerif及应用、基于计算模型自动化验证安全协议Java实施认证性、基于计算模型生成密码学安全的安全协议Java实施、基于符号模型生成密码学安全的安全协议Java实施等。
详细信息
索书号
展开
安全协议实施安全性自动化分析与验证
:孟博, 王德军
作者:
孟博, 王德军
出版社:
科学出版社
出版时间:
20190101
ISBN:
978-7-03-062506-9
索书号:
TP393.08/733
分类号:
TP393.08
页数:
249页
价格:
CNY98.00
复本数:
在馆数:
累借天数:
累借次数:
本书系统介绍了安全协议实施安全性自动化分析与验证的基本理论和关键技术及最新成果。主要内容包括安全协议实施安全性分析与验证关键技术及国内外发展现状、一阶定理证明器Pro Verif及应用、自动化安全协议证明器Crypto Verif及应用、基于计算模型自动化抽取安全协议Blanchet演算实施模型、安全协议Blanchet演算实施自动化抽取工具Swift2CV、基于消息构造的安全协议实施安全性分析方法、安全协议实施安全性分析工具SPISA、面向多个混合安全协议轨迹的安全协议实施安全性分析方法、安全协议实施安全性分析工具NTISA、典型安全协议实施安全性分析等。
详细信息
索书号
展开
缩小检索范围
文献类型
中文图书
(
2
)
出版社
科学出版社
(
2
)
只显示前10条......
科学出版社
(
2
)
查看更多信息......
作者
孟博, 王德军
(
2
)
只显示前10条......
孟博, 王德军
(
2
)
查看更多信息......
出版年
20160101
(
1
)
20190101
(
1
)
只显示前10条......
20160101
(
1
)
20190101
(
1
)
查看更多信息......
计算
共有
2
条记录
共耗时[0.000]秒
页码:
1
/
1
每页显示:
10
记录
跳转: