安全协议设计及验证研究

第1章 引言	第1-9页
·安全协议内容和研究的意义	第6-7页
·国内外研究进展	第7-8页
·安全协议的模型建立及论文各部分的主要内容	第8-9页
第2章 状态机模型	第9-15页
·状态机模型简介	第9页
·Murφ状态机模型	第9-12页
·Murφ状态机的改进模型	第12-15页
第3章 公式推理模型	第15-28页
·公式推理模型简介	第15页
·Debbabi的公式推理模型	第15-20页
·改进的Debbabi模型	第20-28页
第4章 改进的Debbabi模型的扩展	第28-33页
·公式推理与结构性扩展	第28-30页
·Type Flaw的检测	第30-33页
第5章 安全协议的层次化模型	第33-46页
·层次化安全协议设计模型的建立	第33-36页
·基于层次化模型的安全协议设计	第36-44页
·层次分化和设计	第36-38页
·层次合并和化简	第38-39页
·安全性和实用性	第39页
·一个协议设计的例子	第39-43页
·结论	第43-44页
·基于层次化模型的安全协议验证	第44-46页
第6章 当前研究的热点问题及其初步解决方案	第46-52页
·两个问题	第46-47页
·Type Flaw	第46-47页
·多协议并行的安全问题	第47页
·动态协议(Dynamic Protocol)	第47-52页
·动态协议的特点	第47-49页
·一个初步的方案	第49-51页
·展望	第51-52页
参考文献	第52-53页