信阅平台

我的书架 0

密码协议分析的逻辑方法

￥0.00

图书来源: 浙江图书馆(由图书馆配书)

配送范围:

全国(除港澳台地区)
ISBN：

9787030370969
作者：

雷新锋，薛锐著
出版社：

科学出版社
出版日期：

2013

畅销推荐

内容介绍

　　《密码协议分析的逻辑方法》对密码协议分析的逻辑方法进行系统介绍。主要内容包括密码协议的概念以及密码协议分析的主要方法综述，密码协议逻辑分析方法的理论基础，各种密码协议逻辑。这些逻辑涵盖了当前比较重要的密码协议分析逻辑，介绍了基于逻辑的计算可靠性的分析方法.重点介绍了作者在密码协议分析的逻辑方面进行的工作。

展开