安徽理工大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

安全协议理论与方法/范红, 冯登国编著

出版发行项:

北京:科学出版社,2003

ISBN及定价:

7-03-012277-1/CNY42.00

载体形态项:

12, 421页:图;24cm

并列正题名:

Security protocol theory and method

丛编项:

信息安全国家重点实验室信息安全丛书

个人责任者:

范红 编著

个人责任者:

冯登国 编著

学科主题:

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

中图法分类号:

TP393.08

一般附注:

国家重点基础研究发展规划资助项目 国家杰出青年科学基金资助项目

相关题名附注:

并列题名取自封面

提要文摘附注:

本书中系统地介绍了当前计算机网络安全协议的理论和方法, 主要内容包括安全协议的基本概念、缺陷以及可能受到的攻击类型, 基于推理结构性方法, 基于攻击结构性方法, 基于证明结构性方法, 安全协议分析的形式化接口, 安全协议设计的形式化方法等。

豆瓣简介：