安全协议中的互模拟等价性验证

摘要	第1-4页
Abstract	第4-12页
第一章 引言	第12-23页
·安全协议	第12-14页
·安全协议的分类	第13页
·安全协议的安全属性	第13-14页
·安全协议中的缺陷	第14-17页
·安全协议形式化分析初步	第17-21页
·密码学基本概念	第19-20页
·攻击模型和常用分析方法	第20-21页
·主要研究内容和成果	第21页
·本文结构	第21-23页
第二章 形式化研究的主要方法	第23-32页
·定理证明的方法	第23-26页
·认证逻辑	第24-25页
·归纳法、秩函数和线空间	第25-26页
·模型检测的方法	第26-29页
·NRL协议分析器	第27-28页
·进程细化检测方法	第28-29页
·互模拟等价性验证的方法	第29-31页
·本章小结	第31-32页
第三章 Spi演算下的互模拟分析方法	第32-43页
·Spi演算语言	第32-38页
·Spi演算的语法	第32-35页
·Spi演算的语义	第35-36页
·互模拟等价关系	第36-38页
·Kerberos协议的形式化分析	第38-42页
·形式化描述	第38-40页
·形式化验证	第40-42页
·本章小结	第42-43页
第四章 互模拟等价的自动验证	第43-54页
·基本概念	第43-46页
·进程环境	第46-49页
·格局的LTS语义	第46-47页
·环境对的协调	第47-49页
·Reefed互模拟	第49-52页
·一个例子	第51-52页
·相关工作	第52-53页
·本章小结	第53-54页
第五章 本文总结和展望	第54-56页
致谢	第56-57页
参考文献	第57-60页
发表的论文	第60-61页
原创性声明	第61页
关于学位论文使用授权的声明	第61页