《密码协议分析的逻辑方法》对密码协议分析的逻辑方法进行了系统详尽和深入的介绍，全书共四部分，第一部分是理论基础，第二部分是密码协议分析概述，第三部分介绍密码协议逻辑，第四部分介绍计算可靠的密码协议逻辑。《密码协议分析的逻辑方法》的内容包括密码协议分析相关数理逻辑和现代密码学理论的基础知识、密码协议分析的主要方法综述、各种密码协议逻辑、协议分析实例以及密码协议逻辑分析方法的计算可靠性等，内容涵盖了所有迄今为止重要的密码协议分析逻辑系统，其中包括作者在密码协议分析方面的工作。