基于模型检查的系统程序的可靠性与安全性验证

论文摘要	第1-7页
ABSTRACT	第7-10页
第一章 绪论	第10-17页
·程序验证技术	第10-12页
·模型检查技术	第12-13页
·模型检查工具	第13-15页
·本文研究目的及贡献	第15-16页
·本文结构	第16-17页
第二章 验证对象及验证工具介绍	第17-41页
·OpenSSH验证对象介绍	第17-28页
·CBMC验证工具介绍	第28-34页
·MOPS验证工具介绍	第34-40页
·CSP形式化方法介绍	第40页
·本章小节	第40-41页
第三章 可靠性验证	第41-53页
·可靠性需求分析	第41-42页
·使用CBMC工具建模	第42-48页
·实验与检查结果	第48-52页
·本章小节	第52-53页
第四章 安全性验证	第53-66页
·安全性需求分析	第53-54页
·使用MOPS工具建模	第54-59页
·实验与检查结果	第59-65页
·本章小节	第65-66页
第五章 相互验证	第66-72页
·相互验证的意义	第66页
·CBMC与MOPS的检查结果对比	第66-67页
·结果一致性实验	第67-71页
·本章小节	第71-72页
第六章 结论与展望	第72-74页
·结论	第72页
·展望	第72-74页
参考文献	第74-77页
附录	第77-78页
致谢	第78页