| 致谢 | 第1-4页 |
| 中文摘要 | 第4-5页 |
| 英文摘要 | 第5-7页 |
| 第一章 绪论 | 第7-14页 |
| 1．1 回顾 | 第7-12页 |
| 1．2 研究工作概要和论文章节安排 | 第12-14页 |
| 第二章 形式逻辑原理 | 第14-25页 |
| 2．1 BAN逻辑 | 第14-19页 |
| 2．2 GNY逻辑 | 第19-24页 |
| 2．3 小结 | 第24-25页 |
| 第三章 BAN逻辑的扩展 | 第25-43页 |
| 3．1 一个扩展的BAN的局限性 | 第25-30页 |
| 3．2 协议的理想化 | 第30-33页 |
| 3．3 一种扩展的BAN逻辑 | 第33-42页 |
| 3．4 小结 | 第42-43页 |
| 第四章 认证协议的设计 | 第43-57页 |
| 4．1 认证协议的分类 | 第43-46页 |
| 4．2 认证协议的设计准则 | 第46-49页 |
| 4．3 认证协议的BAN逻辑设计准则 | 第49-56页 |
| 4．4 小结 | 第56-57页 |
| 第五章 移动通信系统中认证协议的分析与设计 | 第57-74页 |
| 5．1 移动通信中认证协议的分析设计 | 第58-67页 |
| 5．2 移动通信用户的认证协议 | 第67-72页 |
| 5．3 小结 | 第72-74页 |
| 结束语 | 第74-75页 |
| 参考文献 | 第75-84页 |
| 作者在攻读博士期间发表和完成的论文 | 第84页 |