适用于弱计算能力设备的口令认证与密钥交换方法的研究

提要	第1-7页
第1章 绪论	第7-12页
·研究背景	第7-9页
·问题的提出	第9-10页
·本文的主要工作	第10页
·本文的结构安排	第10-12页
第2章 认证协议的发展现状和安全	第12-19页
·认证协议的发展及研究现状	第12-13页
·针对弱计算能力设备的认证和密钥交换的研究	第13-14页
·主要的口令认证机制	第14-15页
·口令传递	第14页
·一次性口令	第14页
·挑战/响应	第14-15页
·口令认证协议的安全性	第15-16页
·口令认证协议所遇到的问题和威胁	第16-19页
第3章 协议的设计与分析	第19-28页
·基本符号	第19-20页
·协议设计	第20-22页
·协议的初始化	第20页
·非对称口令认证协议及密钥交换	第20-22页
·协议说明	第22-23页
·协议抵抗攻击下的安全性分析	第23-28页
·被动攻击	第23-24页
·主动攻击	第24-28页
第4章 认证协议的形式化分析	第28-39页
·随机预言机模型	第28-30页
·安全通讯模型	第30-32页
·口令认证协议是安全的认证协议	第32-33页
·协议相互认证的安全性证明	第33-36页
·基于口令认证的密钥交换的安全性证明	第36-37页
·小结	第37-39页
第5章 认证协议的非对称计算性能分析	第39-45页
·测试环境	第39-41页
·Java安全性概述	第39-40页
·硬件测试环境	第40-41页
·功能测试结果及分析	第41-42页
·性能测试结果的分析与对比	第42-45页
第6章 总结	第45-47页
参考文献	第47-49页
致谢	第49-50页
摘要	第50-52页
ABSTRACT	第52-54页