
[书籍] 密码协议分析的逻辑方法
出版社:
科学出版社
简介:
《密码协议分析的逻辑方法》对密码协议分析的逻辑方法进行系统介绍。主要内容包括密码协议的概念以及密码协议分析的主要方法综述,密码协议逻辑分析方法的理论基础,各种密码协议逻辑。这些逻辑涵盖了当前比较重要的密码协议分析逻辑,介绍了基于逻辑的计算可靠性的分析方法.重点介绍了作者在密码协议分析的逻辑方面进行的工作。
用户推荐(0)
暂无推荐,你也可以发布推荐哦:)
登录 | 立即注册