西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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

出版发行项:

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

ISBN及定价:

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

载体形态项:

xxii, 202页:图;24cm

并列正题名:

Design and analysis of security prtocols

丛编项:

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

个人责任者:

张文政 编著

个人责任者:

王立斌 编著

个人责任者:

李益发 编著

学科主题:

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

中图法分类号:

TP393.08

一般附注:

国防科技图书出版基金

题名责任附注:

题名页题: 张文政, 王立斌, 李益发, 郑东, 董新锋编著

书目附注:

有书目

提要文摘附注:

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

使用对象附注:

本书可作为计算机、通信及信息安全专业的高年级选修教材, 也可作为相关专业的研究生教材

豆瓣简介：