安全协议设计与分析

作者：  张文政　等编著

出版社：国防工业出版社 2015年11月

简介：　　近20年来，安全协议技术及应用飞速发展，是通信及计算机学科的热门课题。无论是在学术界还是在工程应用方面都得到了前所未有的重视。张文政、王立斌、李益发、郑东、董新锋编*的本书主要介绍安全协议设计准则与分析方法，其中包括安全协议研究背景和设计准则、逻辑化分析方法、串空间方法及可证明安全性方法等，同时给出了利用各种方法分析安全协议的具体实例。　　本书可作为计算机、通信及信息安全专业的高年级选修教材，也可作为相关专业的研究生教材。同时还可作为该领域工程技术人员学习安全协议的参考书。