近20年来，安全协议技术及应用飞速发展，是通信及计算机学科的热门课题。无论是在学术界还是在工程应用方面都得到了前所未有的重视。本书主要介绍安全协议设计准则与分析方法，其中包括安全协议研究背景和设计准则、逻辑化分析方法、串空间方法及可证明安全性方法等，同时给出了利用各种方法分析安全协议的具体实例。本书可作为计算机、通信及信息安全专业的高年级选修教材，也可作为相关专业的研究生教材。同时还可作为该领域工程技术人员学习安全协议的参考书。 The design and analysis of security protocol is an active topic in the field of communications and computing, it draws greatly attention from both the theoretical and practical community. Over the past few decades, many promising methods of security protocol have been proposed and applied, it is a right time to give a survey. In this book, the principles of design and analysis of security protocols are introduced, and many methods are presented, including the logic methods, strand space method and provable security methods etc., at the same time concrete samples are also given to demonstrate the usage of the methods. The book is intended for both academic and a professional audiences. As a textbook, it is intended as an upper-level undergraduate or introductory graduate course for computer science, communications and information security majors. The book also serves as a basic reference for engineers and is suitable for self-study.