可信动态逻辑异构动态防御技术

动态目标防御是网络空间安全的革命性技术之一,可信动态逻辑异构系统(TANET)是其中较典型的原型系统。TANET具有跨平台特性,能在应用软件运行过程中无缝地动态改变运行平台和操作系统。TANET通过虚拟机内省、容器、检查点以及程序迁移等技术可在数秒内完成应用程序的整体迁移。我国构建网络空间主动防御体系,必须加强这些技术研究。

基于动态描述逻辑的网构软件系统故障诊断

提出了一种应用动态描述逻辑对被诊断系统进行分析的方法.动态描述逻辑的语法和语义非常适宜刻画系统的正常行为和异常行为.给出了算法使用动态描述逻辑的可满足性检测来测试离散事件系统的可诊断性.同时,给出了故障诊断器的构造算法.该故障诊断器通过实时地观察系统的行为完成故障诊断.以例子对算法进行了说明.