首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--计算机软件论文--程序设计、软件工程论文--软件工程论文

基于FSM模型检验的安全测试技术研究

摘要第4-6页
ABSTRACT第6-7页
目录第8-10页
CONTENTS第10-12页
第一章 绪论第12-18页
    1.1 研究背景第12-13页
    1.2 国内外研究现状第13-16页
    1.3 研究内容和论文结构第16-17页
        1.3.1 研究内容第16-17页
        1.3.2 论文结构第17页
    1.4 本章小结第17-18页
第二章 FSM模型技术分析第18-33页
    2.1 模型检验概论第18-19页
    2.2 有限状态机理论第19-22页
    2.3 形式化验证第22-28页
        2.3.1 形式化验证工具第22-25页
        2.3.2 性质概述第25-26页
        2.3.3 系统断言语言第26-28页
    2.4 状态爆炸问题研究第28-32页
        2.4.1 组合验证方法第28-29页
        2.4.2 符号模型检测第29页
        2.4.3 抽象方法第29页
        2.4.4 状态模型分解方法第29-32页
    2.5 本章小结第32-33页
第三章 故障树理论以及安全属性建立第33-43页
    3.1 故障树分析法第33-36页
    3.2 时序逻辑故障树建模第36-37页
    3.3 模型安全属性建立第37-42页
    3.4 本章小结第42-43页
第四章 协议仿真模型建立第43-53页
    4.1 协议分析第43-46页
    4.2 SMV语言规则第46-49页
        4.2.1 SMV语言模块第46-47页
        4.2.2 SMV数据类型与变量说明第47-48页
        4.2.3 变量与赋值第48页
        4.2.4 SMV表达式第48-49页
        4.2.5 性质描述第49页
    4.3 协议建模第49-52页
    4.4 本章小结第52-53页
第五章 安全协议模型验证第53-59页
    5.1 安全属性规范第53-56页
    5.2 实验结果分析第56-58页
    5.3 本章小节第58-59页
结论第59-61页
参考文献第61-64页
攻读学位期间发表的论文第64-66页
致谢第66页

论文共66页,点击 下载论文
上一篇:基于微软COFF平台的中间代码混淆技术研究
下一篇:山东联通移动核心网网络优化方案设计