| 摘要 | 第1-3页 |
| ABSTRACT | 第3-4页 |
| 目录 | 第4-6页 |
| 第一章 引言 | 第6-8页 |
| ·研究背景 | 第6-7页 |
| ·研究的主要内容 | 第7-8页 |
| 第二章 密码学基础 | 第8-37页 |
| ·基本概念 | 第8-9页 |
| ·传统密码学 | 第9-11页 |
| ·换位密码 | 第9页 |
| ·代替密码 | 第9-10页 |
| ·密码分析学 | 第10-11页 |
| ·对称密码学 | 第11-19页 |
| ·分组乘积密码 | 第11-12页 |
| ·DES | 第12-14页 |
| ·现代常规的分组加密算法 | 第14-19页 |
| ·非对称密码学(公钥密码学) | 第19-23页 |
| ·什么是公钥密码体制 | 第19-20页 |
| ·Diffie-Hellman密钥交换算法 | 第20页 |
| ·RSA公钥算法 | 第20-21页 |
| ·RSA密码体制的实现 | 第21-22页 |
| ·RSA签名方案 | 第22-23页 |
| ·消息摘要 | 第23-28页 |
| ·信息认证 | 第23页 |
| ·认证函数(Authentication Functions) | 第23-26页 |
| ·消息摘要 | 第26-27页 |
| ·MD4、MD5与SHA散列算法(信息摘要算法) | 第27-28页 |
| ·数字签名 | 第28-30页 |
| ·公开密钥基础设施PKI | 第30-33页 |
| ·PKI提供的基本服务 | 第30页 |
| ·密钥生命周期 | 第30-31页 |
| ·PKI基本组件 | 第31页 |
| ·证书库 | 第31-33页 |
| ·SSL(SECURE SOCKET LAYER)安全套接层协议 | 第33-37页 |
| ·加密技术SSL／TLS协议概述 | 第33-34页 |
| ·SSL体系结构 | 第34-37页 |
| 第三章 安全协议形式化分析与验证 | 第37-49页 |
| ·BAN逻辑 | 第37-43页 |
| ·BAN逻辑的基本概念 | 第37-39页 |
| ·使用BAN逻辑分析NSSK协议 | 第39-42页 |
| ·NSSK协议的缺陷与改进 | 第42-43页 |
| ·KAILAR逻辑 | 第43-49页 |
| ·Kailar逻辑的基本架构 | 第43-45页 |
| ·使用Kailar逻辑分机CMP协议 | 第45-47页 |
| ·Kailar逻辑的缺陷 | 第47-49页 |
| 第四章 基于J2EE WEB应用程序的安全体系结构模型 | 第49-60页 |
| ·JAVA中的安全服务概述 | 第49-55页 |
| ·概述 | 第49-50页 |
| ·私钥加密 | 第50页 |
| ·公钥加密 | 第50-51页 |
| ·消息摘要 | 第51页 |
| ·数字签名 | 第51-52页 |
| ·SSL／TLS:保护C／S通信 | 第52-55页 |
| ·电子银行安全体系结构模型 | 第55-60页 |
| ·Web接口 | 第55-56页 |
| ·体系结构 | 第56-57页 |
| ·应用安全 | 第57-60页 |
| 第五章 进一步研究的目标 | 第60-61页 |
| 参考文献 | 第61-63页 |
| 致谢 | 第63页 |
