安全协议：理论与实践

图书标准信息

• 作者 冯登国 著
• 出版社 清华大学出版社
• 出版时间 2011-01
• 版次 1
• ISBN 9787302232902
• 定价 49.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 520页
• 字数 805千字

【内容简介】

《安全协议：理论与实践》共分4篇16章。系统地介绍安全协议的基本理论、关键技术以及典型应用和实践。主要内容包括密码算法基础知识，可证明安全性、形式化分析、零知识证明、安全多方计算等基础理论与方法，秘密共享、数字签名、身份识别、密钥交换、健忘传输、公平交换等基本安全协议，以及kerberos协议、x．509协议、ipsec协议、tls／ssl协议、入侵容忍ca协议、基于身份的pki协议、可信计算平台远程证明协议等。
《安全协议：理论与实践》可供从事信息安全、密码学、计算机、通信、数学等专业的科技人员、硕士和博士研究生参考，也可供高等院校相关专业的师生参考。

【目录】

第1篇绪论
第1章密码算法概述
1.1密码算法的分类
1.2对称密码算法
1.3公钥密码算法
1.4hash函数与mac算法
1.5密钥管理简介
1.6小结
参考文献
第2章安全协议概述
2.1安全协议的分类
2.2安全协议系统模型
2.3安全协议的安全属性
2.4安全协议的设计准则
2.5安全协议的缺陷分类
2.6消息重放攻击及其对策
2.7安全协议基础理论与方法概述
2.8小结
参考文献

第2篇安全协议基础理论与方法
第3章可证明安全性理论与方法
3.1基本概念与计算假设
3.2随机预言模型方法论
3.3标准模型下安全的数字签名和公钥加密方案
3.4面向会话密钥分配协议的安全模型及其应用
3.5基于口令的安全协议的模块化设计与分析
3.6小结
参考文献
第4章形式化分析理论与方法
4.1ban逻辑
4.2kailar逻辑
4.3归纳定理证明方法
4.4应用pi演算方法
4.5形式化方法的计算可靠性
4.6小结
参考文献
第5章零知识证明理论与方法
5.1交互零知识证明理论与方法
5.2非交互零知识证明理论
5.3sigma协议
5.4常数轮零知识协议
5.5小结
参考文献
第6章安全多方计算理论与方法
6.1安全两方计算
6.2两方保密计算功能函数
6.3安全两方计算的基本定理
6.4安全多方计算
6.5小结
参考文献

第3篇基础安全协议
第7章秘密共享协议
7.1秘密共享的基本思想
7.2基本的秘密共享协议
7.3一般存取结构上的秘密共享协议
7.4黑箱秘密共享协议
7.5无限取值空间上的秘密共享协议
7.6在线秘密共享协议
7.7可验证秘密共享协议
7.8无可信中心的秘密共享协议
7.9前摄秘密共享协议
7.10小结
参考文献
第8章数字签名协议
8.1潜信道签名协议
8.2不可否认的数字签名协议
8.3fail-stop数字签名协议
8.4群数字签名协议
8.5盲数字签名协议
8.6门限数字签名协议
8.7存在特权集的门限数字签名协议
8.8可验证的签名共享协议
8.9门限签密协议
8.10指定验证方的签名协议
8.11环签名协议
8.12并发签名协议
8.13强指定验证方的签名协议
8.14小结
参考文献
第9章身份识别协议
第10章密钥交换协议
第11章健忘传输协议
第12章公平交换协议

第4篇应用安全协议
第13章典型的分布式认证协议和网络安全通信协议
第14章入侵容忍ca协议
第15章基于身份的pki协议
第16章可信计算平台远程证明协议
参考文献