基于串空间的安全协议Athena分析方法的研究

摘要	第1-4页
ABSTRACT	第4-7页
第一章 引言	第7-19页
·研究背景	第7页
·国内外研究现状	第7-17页
·论文研究出发点及其意义	第17页
·本文的工作以及组织结构	第17-19页
第二章 串空间模型	第19-29页
·串空间模型的基础	第19-23页
·串空间模型中的入侵者	第23-25页
·正确性的概念	第25页
·理想与诚实	第25-28页
·本章小结	第28-29页
第三章 ATHENA 方法的分析及应用	第29-46页
·ATHENA 的初始假设	第29-30页
·ATHENA 的语法和语义	第30-31页
·ATHENA 的规则与算法	第31-39页
·ATHENA 的应用	第39-44页
·ATHENA 的发展方向	第44页
·本章小结	第44-46页
第四章 ATHENA 方法的扩展	第46-60页
·目的	第46页
·串空间模型的扩展	第46-50页
·ATHENA 方法的扩展	第50-52页
·实例分析	第52-58页
·工作的意义	第58-59页
·本章小结	第59-60页
第五章 结束语	第60-62页
·研究成果	第60-61页
·进一步研究	第61-62页
参考文献	第62-66页
致谢	第66-67页
附：在读期间发表的论文	第67页