
| 随着人类进入信息化社会,信息安全已成为人们在信息空间中生存与发展的重要保证条件,著名未来学家托夫勒曾说过,在信息时代“谁掌握了信息,控制了网络,谁就将拥有整个世界”。因此,密码学和信息安全技术在最近二十多年来,越来越受到人们的重视,特别是“911”事件以来,信息安全业已成为各国政府和有关部门、企业、机构的重要议事内容。现代密码学形成于20世纪70年代,其重要标志有两个,一是美国制定并于1977年1月15日批准公布了公用数据加密标准(DES,Data Encryption Standard);二是公钥密码体制的诞生。这两个事件在密码学史上具有里程碑意义。 |
| Wenbo Mao,1993年获英国格拉斯哥Strathclyde大学计算机科学博士。1992年到1994年在英国Manchester大学做博士后研究期间,与C.Boyd博士对密码协议和协议形式的分析进行了深入研究并做出了贡献。后加入HP公司做高级技术成员,在英国的Bristol研究实验室的可信赖系统实验室,参加了多项重要的电子商务系统和信息安全系统的设计和开发工作。他是多个有关密码和信息安全重要国际会议的程序委员会成员和有关杂志的密码及信息安全方面专辑的编辑或顾问组成员。自2000年4月至今任HP公司总工程师、技术领导。 |
| 第一部分 引言 第1章 一个简单的通信游戏 1.1 一个通信游戏 1.2 描述密码系统和协议的准则 1.3 本章小结 习题 第2章 防守与攻击 2.1 引言 2.2 加密 2.3 易受攻击的环境(Dolev?Yao威胁模型) 2.4 认证服务器 2.5 认证密钥建立的安全特性 2.6 利用加密的认证密钥建立协议 2.7 本章小结 习题 第二部分 数学基础 标准符号 第3章 概率论和信息论 3.1 引言 3.2 概率论的基本概念 3.3 性质 3.4 基本运算 3.5 随机变量及其概率分布 3.6 生日悖论 3.7 信息论 3.8 自然语言的冗余度 3.9 本章小结 习题 第4章 计算复杂性 4.1 引言 4.2 图灵机 4.3 确定性多项式时间 4.4 概率多项式时间 4.5 非确定多项式时间 4.6 非多项式界 4.7 多项式时间不可区分性 4.8 计算复杂性理论与现代密码学 4.9 本章小结 习题 第5章 代数学基础 5.1 引言 5.2 群 5.3 环和域 5.4 有限域的结构 5.5 用椭圆曲线上的点构造群 5.6 本章小结 习题 第6章 数论 6.1 引言 6.2 同余和剩余类 6.3 欧拉?函数 6.4 费马定理、欧拉定理、拉格朗日定理 6.5 二次剩余 6.6 模一个整数的平方根 6.7 Blum整数 6.8 本章小结 习题 第三部分 基本的密码学技术 第7章 加密——对称技术 第8章 加密——非对称技术 第9章 理想情况下基本公钥密码函数的比特安全性 第10章 数据完整性技术 第四部分 认证 第11章 认证协议——原理篇 第12章 认证协议——实践篇 第13章 公钥密码的认证框架 第五部分 建立安全性的形式化方法 第14章 公钥密码体制的形式化强安全性定义 第15章 可证明安全的有效公钥密码体制 第16章 强可证明安全的数字签名方案 第17章 分析认证协议的形式化方法 第六部分 密码学协议 第18章 零知识协议 第19章 回到“电话掷币”协议 第20章 结束语 参考文献 |
商品评论(0条)