ISBN/价格: | 978-7-118-10339-7:CNY78.00 |
---|---|
作品语种: | chi |
出版国别: | CN 110000 |
题名责任者项: | 安全协议设计与分析/.张文政 [等] 编著 |
出版发行项: | 北京:,国防工业出版社:,2015.11 |
载体形态项: | xxii, 202页:;+图:;+24cm |
丛编项: | 网络与信息安全前沿技术丛书 |
一般附注: | 国防科技图书出版基金 |
提要文摘: | 本书系统介绍了安全协议分析的理论方法, 给出了安全协议目前的最新结果, 如”安全协议工程原则”, ”可证明安全协议分析方法”及”RFID安全分析技术”等, 这些内容给出了目前可用于安全协议分析的国际前沿方法。本书中选用的例子都是实际应用的安全协议, 有些是目前被广泛使用的安全协议, 有些是曾经使用的安全协议, 也有些协议是最新提出的安全协议。同时给出了安全协议设计的实用准则。 |
并列题名: | Design and analysis of security prtocols eng |
题名主题: | 计算机网络 安全技术 通信协议 研究 |
中图分类: | TN915.04 |
个人名称等同: | 张文政 编著 |
个人名称等同: | 王立斌 编著 |
个人名称等同: | 李益发 编著 |
记录来源: | CN 湖北三新 20171110 |