安全协议形式化分析及其应用

前    言	第1-11页
1 、 安全协议简介	第7-8页
2 、 安全协议的形式化分析简介	第8页
3 、 研究内容和主要结果	第8-9页
4 、 本文组织	第9-11页
第一章 安全协议	第11-23页
·背景与基本概念	第11-12页
·重要的安全协议	第12-13页
·安全协议发展20年的简要回顾	第13-16页
·安全协议目标的讨论	第16-21页
·安全协议形式化分析研究进展	第21-23页
第二章节串空间	第23-31页
·消息项和消息关系	第23-24页
·基本符号	第24-27页
·协议范例	第27页
·入侵者表示	第27-31页
第三章 安全协议的自动分析技术	第31-37页
·安全协议的自动分析技术	第31-35页
·一种新型的混合技术	第35-37页
第四章 安全协议自动分析工具	第37-48页
·串空间模型的扩充	第37-39页
·AVSP证明算法	第39-45页
·状态消减规则	第45-48页
第五章 试验结果和分析	第48-53页
试验环境、结果和分析	第48-53页
结论和展望	第53-55页
参考文献	第55-59页
攻读硕士学位期间发表和待发表文章	第59-60页
致谢	第60-61页
提要	第61-75页