WTLS分析与设计
| 摘要 | 第1-9页 |
| ABSTRACT | 第9-11页 |
| 第一章 绪论 | 第11-21页 |
| ·WAP WTLS背景 | 第11-12页 |
| ·WAP体系结构 | 第12-19页 |
| ·万维网(World Wide Web)模型 | 第12-13页 |
| ·WAP推拉模型 | 第13-14页 |
| ·WAP代理模型 | 第14-15页 |
| ·一种WTLS应用 | 第15-16页 |
| ·WAP体系结构组成 | 第16-19页 |
| ·WAP WTLS研究现状 | 第19-21页 |
| 第二章 WTLS协议规范 | 第21-36页 |
| ·记录层协议(RP) | 第21-28页 |
| ·连接状态 | 第21-24页 |
| ·记录层 | 第24-28页 |
| ·握手协议(HP) | 第28-29页 |
| ·报警协议(AP) | 第29-31页 |
| ·改变密码规范协议(CCP) | 第31页 |
| ·WTLS协议加密计算 | 第31-36页 |
| ·主密钥计算 | 第31-32页 |
| ·密钥计算 | 第32-34页 |
| ·MAC和伪随机数 | 第34-36页 |
| 第三章 WTLS协议分析 | 第36-58页 |
| ·WTLS协议安全认证级别 | 第36页 |
| ·WTLS握手协议分析 | 第36-52页 |
| ·WTLS握手协议流程 | 第36-38页 |
| ·WTLS握手协议消息结构 | 第38-51页 |
| ·基于数据报的握手过程的可靠性 | 第51-52页 |
| ·WTLS协议安全威胁 | 第52-56页 |
| ·前向安全性 | 第52-53页 |
| ·未知密钥共享攻击 | 第53页 |
| ·中间人攻击 | 第53-54页 |
| ·用户身份匿名性 | 第54-55页 |
| ·选择明文攻击 | 第55-56页 |
| ·拒绝服务攻击 | 第56页 |
| ·WTLS安全问题的根源 | 第56-58页 |
| 第四章 改进的i-WTLS协议设计 | 第58-66页 |
| ·i-WTLS协议方案设计 | 第58-62页 |
| ·双向匿名i-WTLS密钥交换协议设计 | 第60页 |
| ·单向匿名i-WTLS密钥交换协议设计 | 第60-61页 |
| ·实体认证i-WTLS密钥交换协议设计 | 第61-62页 |
| ·i-WTLS协议安全分析 | 第62-64页 |
| ·i-WTLS协议性能分析 | 第64-66页 |
| 第五章 基于串空间理论形式化分析I-WTLS协议 | 第66-76页 |
| ·安全协议形式化分析 | 第66-68页 |
| ·串空间理论框架 | 第68-70页 |
| ·消息空间和代数假设 | 第68-69页 |
| ·串和串空间 | 第69-70页 |
| ·丛(bundle) | 第70页 |
| ·i-WTLS协议串空间模型 | 第70-72页 |
| ·i-WTLS协议攻击者能力假设 | 第72页 |
| ·i-WTLS协议串空间分析 | 第72-76页 |
| 第六章 总结与展望 | 第76-77页 |
| ·总结 | 第76页 |
| ·展望 | 第76-77页 |
| 缩略语 | 第77-78页 |
| 参考文献 | 第78-82页 |
| 致谢 | 第82-83页 |
| 学位论文评阅及答辩情况表 | 第83页 |
