安全协议—理论与应用

创新性声明	第1页
关于论文使用授权的说明	第2-3页
摘要	第3-4页
Abstract	第4-7页
第一章 绪论	第7-13页
·安全协议的基本概念	第7-8页
·对安全协议的攻击模型	第8-9页
·安全协议的形式化分析方法	第9-11页
·论文各部分主要内容	第11-13页
第二章 安全协议理论基础	第13-19页
·有限域基础	第13-14页
·对称加密体制	第14-15页
·非对称加密体制	第15-19页
·公钥加密	第15-16页
·签名	第16-17页
·杂凑函数	第17页
·D-H算法	第17-19页
第三章 认证协议理论及应用	第19-35页
·认证协议基础	第19-23页
·认证协议基本概念	第19-20页
·主要认证技术	第20-22页
·基本双方认证协议	第22-23页
·非对称机制下的认证安全框架	第23-26页
·基于证书的认证框架	第23-24页
·基于身份的公钥系统	第24-25页
·利用对构造基于身份的公钥密码	第25-26页
·移动IP的注册协议安全	第26-35页
·B3G网络结构	第26-28页
·移动IP	第28-30页
·我们的工作—安全的移动IP注册	第30-35页
第四章 可否认协议	第35-47页
·研究背景	第35-36页
·形式化证明技术	第36-42页
·类BAN逻辑	第36-39页
·类Kailar逻辑	第39-40页
·我们的工作—形式化逻辑的缺陷及改进	第40-42页
·改进的可否认协议	第42-47页
·SIGMA协议	第42-43页
·我们的工作—SIGMA协议否认性缺陷及改进	第43-47页
第五章 结束语	第47-49页
致谢	第49-51页
参考文献	第51-55页
读研期间完成的科研成果	第55-56页