MARC状态:审校 文献类型:中文图书 浏览次数:12
- 题名/责任者:
- 安全协议设计与分析/张文政[等]编著
- 出版发行项:
- 北京:国防工业出版社,2015
- ISBN及定价:
- 978-7-118-10339-7/CNY78.00
- 载体形态项:
- 22,202页;24cm
- 丛编项:
- 网络与信息安全前沿技术丛书
- 个人责任者:
- 张文政 编著
- 学科主题:
- 计算机网络-安全技术-通信协议-研究
- 中图法分类号:
- TP393.08
- 中图法分类号:
- TP393.08
- 一般附注:
- 国防科技图书出版基金
- 题名责任附注:
- 编著者还有:王立斌、李益发、郑东、董新锋
- 提要文摘附注:
- 本书主要介绍安全协议设计准则与分析方法,其中包括安全协议研究背景和设计准则、逻辑化分析方法、串空间方法及可证明安全性方法等,同时给出了利用各种方法分析安全协议的具体实例。
- 使用对象附注:
- 本书适用于计算机、通信及信息安全专业师生
全部MARC细节信息>>