| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 1 绪论 | 第8-13页 |
| ·课题背景 | 第8-10页 |
| ·课题内容与意义 | 第10-12页 |
| ·论文组织和创新点 | 第12-13页 |
| 2 认证理论基础 | 第13-19页 |
| ·公钥密码体制 | 第13-14页 |
| ·加密技术 | 第14-15页 |
| ·Hash 函数 | 第15-16页 |
| ·数字签名和消息认证码 | 第16-17页 |
| ·双线性映射 | 第17-19页 |
| 3 漫游认证协议 | 第19-32页 |
| ·漫游认证机制 | 第19-22页 |
| ·证书认证的研究 | 第20-21页 |
| ·基于身份认证的研究 | 第21-22页 |
| ·几种常用的漫游认证协议 | 第22-26页 |
| ·移动 IP 协议 | 第22-23页 |
| ·IEEE802.11 协议 | 第23-24页 |
| ·IAPP 协议（Inter-Access Point Protocol） | 第24页 |
| ·基于代理签名的匿名漫游认证协议 | 第24-25页 |
| ·基于身份加密的匿名漫游无线认证协议 | 第25-26页 |
| ·新的漫游认证协议 SRAK | 第26-32页 |
| 4 漫游认证协议的形式化分析方法 | 第32-41页 |
| ·基于符号理论的方法 | 第32-39页 |
| ·BAN 逻辑 | 第32-36页 |
| ·Kailar 逻辑和 SVO 逻辑 | 第36-37页 |
| ·基于串空间的理论方法 | 第37-39页 |
| ·可证明安全的方法 | 第39-41页 |
| ·CK 模型 | 第39-40页 |
| ·通用可组合安全(UC) | 第40-41页 |
| 5 应用形式化方法对新的认证协议 SRAK 进行分析 | 第41-44页 |
| 6 结论与展望 | 第44-46页 |
| ·结论 | 第44页 |
| ·展望 | 第44-46页 |
| 致谢 | 第46-47页 |
| 参考文献 | 第47-52页 |
| 附录 攻读学位期间发表论文目录 | 第52页 |