本书介绍了基于认知逻辑的密码协议分析，从密码协议的逻辑分析讲起，介绍密码学基本知识、认知逻辑基础理论到用认知中的行为、行为模型以及时态认知逻辑分析具体的密码协议，以具体实例阐述了用动态认知逻辑的理论来分析密码协议的安全性，主要是作者在本领域所做的工作。从内容的编排上由浅入深，适合各种层次的读者参阅，希望对其他研究者有一定的参考价值，为密码协议分析和网络安全提供一定的理论与技术支撑。 本书可以作为高等院校计算机、网络空间安全、通信以及逻辑学等专业高年级本科生和研究生学习参考，也可供相关专业的教师、科研人员或工程技术人员参考。