横向渗透攻击行为与动态平台防御效能量化分析

声明

致谢

1 绪论

1.1 研究背景与目的

1.2 国内外研究现状

1.3 研究内容及贡献

1.3.1 研究内容

1.3.2 研究贡献

1.4 论文结构

2 相关技术和背景知识

2.1 高级持续性威胁攻击

2.2 移动目标防御

2.2.1 动态网络技术

2.2.2 动态平台技术

2.2.3 动态软件技术

2.2.4 动态数据技术

2.3 连续时间马尔可夫链

2.3.1 定义

2.3.2 齐次连续时间马尔可夫链

2.3.3 非齐次连续时间马尔可夫链

2.4 Petri 网及其扩充

2.4.1 Petri网

2.4.2 随机Petri网

2.4.3 广义随机Petri网

2.4.4 随机回报网

2.5 本章小结

3 动态系统下横向渗透攻击行为量化分析

3.1 系统描述与建模

3.1.1 系统描述与指标定义

3.1.2 基于时变转移率的生存模型

3.1.3 基于时变转移率的指标计算

3.1.4 基于时变转移率与时变状态数的生存模型与指标计算

3.2 模型量化分析与讨论

3.2.1 静态模型分析

3.2.2 包含时变状态转移率的模型分析

3.2.3 包含时变状态数的模型分析

3.3 本章小结

4 基于迁移的动态平台防御效能量化分析

4.1 基于迁移的动态平台技术机理

4.2 系统描述与指标

4.2.1 攻击者攻击过程

4.2.2 任务执行过程

4.2.3 指标定义

4.3 系统建模与指标计算

4.3.1 攻击者子SRN模型

4.3.2 JCON迁移子SRN模型与任务执行延迟子SRN模型

4.3.3 JCTime 计算子SRN模型与可用性子SRN模型

4.3.4 指标计算

4.4 模型量化分析与讨论

4.4.1 MDP系统参数对任务的影响

4.4.2 攻击者攻击能力对任务的影响

4.5 本章小结

5 总结与展望

5.1 总结

5.2 展望

参考文献

作者简历及攻读硕士学位期间取得的研究成果

声明

学位论文数据集