密码协议分析的逻辑方法

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