密码协议分析的逻辑方法

本书的内容包括密码协议分析相关数理逻辑和现代密码学理论的基础知识,密码协议分析的主要方法综述,各种密码协议逻辑,协议分析实例以及密码协议逻辑分析方法的计算可靠性等.内容涵盖了所有迄今为止重要的密码协议分析逻辑系统,其中包括作者在密码协议分析方面的工作.