
[书籍] 安全协议设计与分析
出版社:
国防工业出版社
简介:
近20年来,安全协议技术及应用飞速发展,是通信及计算机学科的热门课题。无论是在学术界还是在工程应用方面都得到了前所未有的重视。 《安全协议设计与分析》主要介绍安全协议设计准则与分析方法,其中包括安全协议研究背景和设计准则、逻辑化分析方法、串空间方法及可证明安全性方法等,同时给出了利用各种方法分析安全协议的具体实例。 《安全协议设计与分析》可作为计算机、通信及信息安全专业的高年级选修教材,也可作为相关专业的研究生教材。同时还可作为该领域工程技术人员学习安全协议的参考书。
用户推荐(0)
暂无推荐,你也可以发布推荐哦:)
登录 | 立即注册