软件漏洞模型检验技术的研究

摘要	第1-5页
ABSTRACT	第5-8页
1 绪论	第8-12页
·研究背景	第8-9页
·国内外相关研究	第9-11页
·主要研究工作	第11-12页
2 模型检验技术	第12-21页
·形式化方法	第12-13页
·模型检验过程	第13-14页
·系统建模	第14-15页
·属性建模	第15-19页
·模型检验算法	第19-20页
·本章小结	第20-21页
3 软件漏洞模型检验技术	第21-31页
·软件开发形式化方法	第21-22页
·软件需求的模型检验	第22-24页
·软件源代码的模型检验	第24-27页
·几种模型检验工具	第27-30页
·本章小结	第30-31页
4 MCS 系统模型框架	第31-38页
·MCS 模型框架	第31-33页
·程序源代码建模	第33-34页
·安全属性建模	第34-36页
·模型检验方法	第36-37页
·本章小结	第37-38页
5 MCS 系统的设计和实现	第38-56页
·核心模块	第38-42页
·应用模块	第42-52页
·功能介绍及使用	第52-55页
·本章小结	第55-56页
6 总结与展望	第56-58页
·总结	第56页
·展望	第56-58页
致谢	第58-59页
参考文献	第59-63页
附录 攻读硕士学位期间发表论文目录	第63页