| 摘要 | 第1-8页 |
| ABSTRACT | 第8-14页 |
| 缩略语说明 | 第14-16页 |
| 第一章 绪论 | 第16-29页 |
| ·研究背景 | 第16-18页 |
| ·本文研究对象 | 第18-20页 |
| ·异构无线网络安全的研究现状 | 第20-26页 |
| ·本文研究内容 | 第26-27页 |
| ·论文组织结构 | 第27-29页 |
| 第二章 异构无线网络融合的认证和密钥协商 | 第29-53页 |
| ·异构无线网络及认证模型 | 第29-35页 |
| ·异构网络及面临的安全问题 | 第29-32页 |
| ·异构无线网络认证模型 | 第32页 |
| ·异构网络的用户端安全需求 | 第32-33页 |
| ·网络端安全需求 | 第33-34页 |
| ·接入服务提供商的安全需求 | 第34-35页 |
| ·异构无线网络融合的认证和密钥协商协议 | 第35-42页 |
| ·安全协议概念 | 第35页 |
| ·Dolev-Yao 攻击模型 | 第35-36页 |
| ·认证协议设计的困难性 | 第36-37页 |
| ·基本认证技术 | 第37-38页 |
| ·认证和密钥协商协议的设计原则 | 第38-39页 |
| ·认证和密钥交换协议的安全属性 | 第39-41页 |
| ·同密钥泄漏相关的安全属性 | 第41-42页 |
| ·认证和密钥交换协议的安全分析方法 | 第42-52页 |
| ·安全协议的分析方法 | 第42-43页 |
| ·数学基础 | 第43-46页 |
| ·基于符号的形式化推理方法 | 第46-47页 |
| ·可证安全的形式化分析方法 | 第47-48页 |
| ·认证和密钥交换协议的可证安全模型 | 第48-52页 |
| ·本章小结 | 第52-53页 |
| 第三章 基于代理签名的3GPP-WLAN 异构接入认证协议 | 第53-80页 |
| ·3GPP-WLAN 异构互联模型和安全需求 | 第53-54页 |
| ·3GPP-WLAN 互联体系结构 | 第53-54页 |
| ·安全需求 | 第54页 |
| ·EAP-AKA 的安全局限性 | 第54-56页 |
| ·用户身份保密 | 第55页 |
| ·重定向(Redirect Attack) 攻击 | 第55-56页 |
| ·非抵赖服务 | 第56页 |
| ·密钥证实 | 第56页 |
| ·基于代理签名的3GPP 接入认证协议PAKA | 第56-62页 |
| ·代理签名与哈希链 | 第57页 |
| ·一种改进的3GPP AKA—PAKA | 第57-62页 |
| ·基于BR 可证安全模型的安全证明 | 第62-73页 |
| ·协议讨论、分析 | 第73-76页 |
| ·安全分析 | 第73-75页 |
| ·性能分析 | 第75-76页 |
| ·基于PAKA 的3GPP-WLAN 互联接入认证机制 | 第76-78页 |
| ·分析讨论 | 第78页 |
| ·本章小结 | 第78-80页 |
| 第四章 基于公钥的异构无线网络认证和密钥协商协议 | 第80-88页 |
| ·异构网络模型BRAIN 与安全第一跳 | 第80-81页 |
| ·认证和密钥协商协议 | 第81-85页 |
| ·符号标记 | 第81-82页 |
| ·协议初始化和MN 的属地注册过程 | 第82-83页 |
| ·第一跳安全认证和密钥协商 | 第83-85页 |
| ·协议分析 | 第85-87页 |
| ·安全分析 | 第85-87页 |
| ·性能分析 | 第87页 |
| ·本章小结 | 第87-88页 |
| 第五章 一种适于异构无线网络接入的混合密钥交换协议 | 第88-103页 |
| ·异构接入模型 | 第88页 |
| ·安全需求与CK 模型 | 第88-89页 |
| ·安全需求 | 第88-89页 |
| ·CK 模型 | 第89页 |
| ·混合加密方案的安全定义 | 第89-90页 |
| ·理想的混合密钥交换协议 | 第90-94页 |
| ·协议初始化假设 | 第90-91页 |
| ·符号标记 | 第91-92页 |
| ·HKE 协议 | 第92-94页 |
| ·混合密钥交换认证器 | 第94-99页 |
| ·一种基于计数器的单向消息传输认证器 | 第94-97页 |
| ·混合密钥交换认证器 | 第97-99页 |
| ·双向认证和密钥协商协议 | 第99-100页 |
| ·协议分析 | 第100-102页 |
| ·安全分析 | 第100-101页 |
| ·性能分析 | 第101-102页 |
| ·本章小结 | 第102-103页 |
| 第六章 基于身份和双线性对的异构接入认证和密钥交换协议 | 第103-114页 |
| ·基于身份的公钥系统与异构接入认证 | 第103-104页 |
| ·双线性对及计算难题 | 第104页 |
| ·基于CK 模型的安全定义 | 第104-105页 |
| ·基于身份的的异构接入认证协议 | 第105-111页 |
| ·异构接入模型与认证假设 | 第105-106页 |
| ·协议初始化 | 第106页 |
| ·基于身份的异构无线接入密钥交换协议 | 第106-108页 |
| ·异构接入认证器 | 第108-110页 |
| ·安全UM 协议 | 第110-111页 |
| ·协议讨论 | 第111-113页 |
| ·安全分析 | 第111-112页 |
| ·性能分析 | 第112-113页 |
| ·本章小结 | 第113-114页 |
| 第七章 异构垂直切换中的再认证和密钥更新协议 | 第114-127页 |
| ·垂直切换中的安全考虑 | 第114-115页 |
| ·垂直切换概念 | 第114页 |
| ·切换过程 | 第114-115页 |
| ·垂直切换的安全需求 | 第115-116页 |
| ·已提出的几种垂直切换认证和密钥协商协议 | 第116-117页 |
| ·基于可信第三方的垂直切换认证和密钥协商 | 第117-126页 |
| ·异构模型 | 第117-118页 |
| ·域间垂直切换场景 | 第118页 |
| ·协议假设 | 第118-119页 |
| ·系统初始化 | 第119页 |
| ·垂直切换中的安全认证和密钥交换协议 | 第119-123页 |
| ·安全与性能分析 | 第123-126页 |
| ·本章小结 | 第126-127页 |
| 第八章 全文总结与展望 | 第127-129页 |
| ·全文工作总结 | 第127-128页 |
| ·进一步研究工作展望 | 第128-129页 |
| 参考文献 | 第129-139页 |
| 致谢 | 第139-140页 |
| 攻读博士学位期间录用和发表的论文（均为第一作者） | 第140页 |
