| 第一章 绪论 | 第1-20页 |
| 1．1 网络安全概述 | 第12-16页 |
| 1．1．1 网络安全的定义 | 第12页 |
| 1．1．2 网络安全的安全层次与安全模型 | 第12-15页 |
| 1．1．3 安全技术的研究内容 | 第15-16页 |
| 1．2 认证与共享保密通信协议的国内外研究现状 | 第16-18页 |
| 1．3 本文主要研究内容与思路 | 第18-20页 |
| 1．3．1 主要研究内容 | 第18-19页 |
| 1．3．2 研究思路与论文结构 | 第19-20页 |
| 第二章 相关技术介绍 | 第20-28页 |
| 2．1 身份认证技术 | 第20-22页 |
| 2．1．1 基本概念 | 第20-21页 |
| 2．1．2 身份认证的方式 | 第21-22页 |
| 2．1．3 认证协议的设计原则 | 第22页 |
| 2．2 密钥交换和密钥生成技术 | 第22-24页 |
| 2．2．1 基本概念 | 第22-23页 |
| 2．2．2 Diffie-Hellman协议 | 第23页 |
| 2．2．3 不用交换密钥的密钥交换 | 第23页 |
| 2．2．4 Shamir的三次传递协议 | 第23-24页 |
| 2．3 单向散列函数 | 第24-26页 |
| 2．3．1 基本概念 | 第24-25页 |
| 2．3．2 结合公钥算法实现对数字文件的签名 | 第25页 |
| 2．3．3 常见的单向散列函数 | 第25-26页 |
| 2．4 公钥密码体制 | 第26-28页 |
| 2．4．1 公钥加密的结构 | 第26页 |
| 2．4．2 公钥密码的特点及要求 | 第26-28页 |
| 第三章 身份认证与密钥生成协议的设计 | 第28-35页 |
| 3．1 常见的安全协议分析 | 第28-30页 |
| 3．1．1 A(0)协议 | 第28-29页 |
| 3．1．2 Otway-Rees协议 | 第29页 |
| 3．1．3 Denning-Sacco协议 | 第29-30页 |
| 3．2 身份认证与密钥生成协议的设计 | 第30-35页 |
| 3．2．1 设计思想 | 第30-31页 |
| 3．2．2 设计过程 | 第31-32页 |
| 3．2．3 协议的安全性分析 | 第32-35页 |
| 第四章 协议原型系统的实现 | 第35-48页 |
| 4．1 总体设计方案 | 第35-36页 |
| 4．2 系统平台的选用 | 第36页 |
| 4．3 关键技术的实现 | 第36-39页 |
| 4．3．1 大素数的生成 | 第36-38页 |
| 4．3．2 模幂运算 | 第38-39页 |
| 4．3．3 socket套接字编程 | 第39页 |
| 4．4 加解密算法的选择 | 第39-42页 |
| 4．4．1 DES对称加密算法 | 第40-42页 |
| 4．4．2 基于离散对数的公钥加密体制 | 第42页 |
| 4．5 协议的实现过程 | 第42-48页 |
| 4．5．1 套接字通信的建立 | 第42-43页 |
| 4．5．2 加密解密功能实现 | 第43-44页 |
| 4．5．3 协议的运行 | 第44-48页 |
| 第五章 协议安全性的逻辑证明 | 第48-60页 |
| 5．1 BAN逻辑简介 | 第48-51页 |
| 5．2 BAN类逻辑介绍 | 第51-56页 |
| 5．2．1 GNY逻辑 | 第51-52页 |
| 5．2．2 AT逻辑 | 第52-53页 |
| 5．2．3 SVO逻辑 | 第53-56页 |
| 5．3 用 SVO逻辑证明身份认证与密钥生成协议的安全性 | 第56-60页 |
| 第六章 总结与展望 | 第60-65页 |
| 6．1 论文主要工作 | 第60-61页 |
| 6．2 进一步研究 | 第61-65页 |