容侵系统中状态转移模型的研究

已有的网络安全技术不能防范所有入侵,因此需要研究入侵容忍技术。提出了优化的容侵系统状态转移模型,以此为基础建立半马尔可夫过程(SMP)模型。计算各状态的稳态概率,给出数值分析结果,定量评估了容侵系统的可用性、机密性与完整性。为进一步构建容侵系统提供了理论依据。

入侵容忍系统安全属性分析

首先提出一个优化的系统状态转移模型,用以描述具有自我演进能力的入侵容忍系统的动态行为,并提高了对攻击行为的描述能力,以该模型为基础,建立SMP模型并对系统安全属性及可执行性进行定量分析,进而计算出系统平均安全故障时间(MTTSF);最后给出数值分析结果,并通过计算模型中时间参数的敏感度,得出入侵容忍技术研究的关键点.

基于显式有限元方法的两相介质弹塑性动力反应计算分析

针对增量形式的流体饱和两相多孔介质弹塑性波动方程组,运用基于显式逐步积分格式的时域显式有限元方法对该波动方程组进行求解,并应用基于SMP破坏准则的弹塑性动力本构模型描述两相介质的动力反应性质,对两相介质在输入地震波作用下的弹塑性动力反应进行计算和分析,将计算结果与相应的弹性动力反应的计算结果进行对比;对本文应用的弹塑性动力本构模型进行参数研究,揭示模型参数的取值对两相介质弹塑性动力反应计算结果的影响。计算结果表明:两相介质弹塑性位移反应与相应的弹性位移反应具有较为显著的差别,表现为二者的峰值与反应时程的波形均有比较明显的差异;本文应用的弹塑性本构模型中的塑性势参数的取值对于两相介质弹塑性位移反应的计算结果具有显著的影响,而初始加载和卸载与重新加载阶段的硬化参数的比值仅影响动力反应结束后的塑性变形的幅值。本文工作表明,时域显式有限元方法是进行流体饱和两相多孔介质弹塑性动力反应计算分析的一种有效的方法。