安徽科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

安全协议设计与分析/张文政等 编著

出版发行项:

北京:国防工业出版社,2015.11

ISBN及定价:

978-7-118-10339-7/CNY78.00

载体形态项:

XVII, 202页;24cm

丛编项:

网络与信息安全前沿技术丛书

个人责任者:

张文政 编著

个人责任者:

王立斌 编著

个人责任者:

李益发 编著

学科主题:

计算机网络-安全技术-通信协议-研究

中图法分类号:

TP393.08

一般附注:

国防科技图书出版基金

题名责任附注:

题名页题其余责任者: 王立斌, 李益发, 郑东, 董新锋

书目附注:

有书目

提要文摘附注:

本书系统介绍了安全协议分析的理论方法，给出了安全协议目前的最新结果，如”安全协议工程原则”，”可证明安全协议分析方法”及”RFID安全分析技术”等，这些内容给出了目前可用于安全协议分析的国际前沿方法。本书中选用的例子都是实际应用的安全协议，有些是目前被广泛使用的安全协议，有些是曾经使用的安全协议，也有些协议是最新提出的安全协议。同时给出了安全协议设计的实用准则。

豆瓣简介：