医疗无线体域网轻量认证协议的研究
| 摘要 | 第1-4页 |
| ABSTRACT | 第4-17页 |
| 第一章 绪论 | 第17-25页 |
| ·研究背景及意义 | 第17-18页 |
| ·国内外研究现状 | 第18-20页 |
| ·基于生物信息认证方案相关工作 | 第18-19页 |
| ·基于密码技术认证方案相关工作 | 第19-20页 |
| ·主要工作与贡献 | 第20-22页 |
| ·论文组织结构 | 第22-25页 |
| 第二章 无线体域网与认证协议分析 | 第25-43页 |
| ·无线体域网应用与标准 | 第25-27页 |
| ·无线体域网医疗应用 | 第25-27页 |
| ·无线体域网标准简介 | 第27页 |
| ·无线体域网体系结构与安全要求 | 第27-31页 |
| ·无线体域网节点类型 | 第27-28页 |
| ·无线体域网拓扑结构 | 第28页 |
| ·无线体域网通讯结构 | 第28-30页 |
| ·无线体域网安全要求 | 第30-31页 |
| ·基于挑战认证协议的分析 | 第31-37页 |
| ·S/Key认证协议 | 第31-33页 |
| ·SAS认证协议 | 第33-34页 |
| ·SAS-2 认证协议 | 第34-36页 |
| ·认证协议的性能与安全性比较 | 第36-37页 |
| ·身份认证相关密码技术 | 第37-41页 |
| ·哈希函数与MD5算法 | 第37-39页 |
| ·椭圆曲线加密算法 | 第39-41页 |
| ·本章小结 | 第41-43页 |
| 第三章 医疗无线体域网认证协议的设计与证明 | 第43-57页 |
| ·WBAN_OTP认证协议的安全与性能需求分析 | 第43-44页 |
| ·WBAN_OTP认证协议的设计 | 第44-50页 |
| ·符号说明 | 第44-45页 |
| ·WBAN_OTP协议注册设计 | 第45-47页 |
| ·WBAN_OTP协议认证设计 | 第47-49页 |
| ·WBAN_OTP认证协议安全属性分析 | 第49-50页 |
| ·WBAN_OTP认证协议安全属性形式化证明 | 第50-56页 |
| ·定理证明工具Coq | 第50-51页 |
| ·WBAN_OTP多因素认证证明 | 第51-53页 |
| ·WBAN_OTP抵御重放攻击证明 | 第53-55页 |
| ·WBAN_OTP抵御中间人攻击证明 | 第55-56页 |
| ·本章小结 | 第56-57页 |
| 第四章 WBAN_OTP认证协议建模与实现 | 第57-79页 |
| ·WBAN_OTP认证协议PS端建模 | 第57-60页 |
| ·WBAN_OTP认证协议MS端建模 | 第60-66页 |
| ·MS端功能模块 | 第60-61页 |
| ·MS端UML建模 | 第61-64页 |
| ·数据库建模 | 第64-66页 |
| ·密码运算功能实现 | 第66-69页 |
| ·MD5哈希散列实现 | 第66-67页 |
| ·ECC算法实现 | 第67-68页 |
| ·异或运算实现 | 第68-69页 |
| ·WBAN_OTP认证PS端实现 | 第69-72页 |
| ·PS端开发环境 | 第69-70页 |
| ·PS端认证模块实现 | 第70-72页 |
| ·PS端注册模块实现 | 第72页 |
| ·WBAN_OTP认证MS端实现 | 第72-78页 |
| ·MS端认证模块实现 | 第73-76页 |
| ·MS端注册模块实现 | 第76-77页 |
| ·MS端数据通讯模块实现 | 第77-78页 |
| ·本章小结 | 第78-79页 |
| 第五章 WBAN_OTP认证功能与性能实验测试 | 第79-101页 |
| ·认证功能实验测试 | 第79-89页 |
| ·认证模块测试 | 第79-85页 |
| ·注册模块测试 | 第85-89页 |
| ·资源占用实验测试与对比 | 第89-95页 |
| ·资源占用测试 | 第90-93页 |
| ·资源占用实验结果分析 | 第93-95页 |
| ·能耗实验测试与对比 | 第95-99页 |
| ·能耗测试 | 第95-97页 |
| ·能耗实验结果分析 | 第97-99页 |
| ·实验测试的结论 | 第99-100页 |
| ·本章小结 | 第100-101页 |
| 第六章 总结与展望 | 第101-105页 |
| ·工作总结 | 第101-103页 |
| ·工作展望 | 第103-105页 |
| 参考文献 | 第105-109页 |
| 致谢 | 第109-111页 |
| 攻读硕士学位期间发表的学术论文 | 第111页 |
