基于WMI技术的进程静音模型研究

进程运行时需要占用系统的资源,会在一定程度上增加系统的负载,传统进程隐藏技术无法控制进程对资源的利用,不利于进程的隐藏。提出了一个基于Windows管理规范(WMI)的进程静音运行的模型,在此模型的指导下,依据当前系统负载情况和进程所占资源可以动态调控进程下一时刻对资源的利用,很好地克服了系统负载突增时对用户的影响,提高进程的隐蔽性,也使得资源得到了充分的利用。

基于偏序归约的状态空间约简算法

目前,针对安全协议分析的偏序归约算法较为复杂且不易实现,限制了其适用范围,未考虑约简诚实主体会话中的逆序结点。针对该问题,采用偏序归约的思想,提出一种诚实主体会话中逆序结点的约简算法以及一种迹等价迁移冗余后继结点的约简算法。两种算法思想简单,易于实现。实例表明,这两种算法有效地约简了安全协议的状态空间。

基于情景模拟的生物恐怖事件预警时间需求评估方法

目的构建一种生物恐怖事件预警时间需求的量化评估方法。方法首先建立中尺度生物气溶胶大气扩散模型、生物粒子沉降衰亡模型,以及吸入性炭疽感染的疾病状态转移模型,进而以北京市遭受炭疽气溶胶恐怖袭击为例开展情景模拟,评估不同预警延迟时间下开展医学救治对危害后果的减控效果。结果事发后2 d内发出预警并积极开展医学救治可有效减控大部分危害,而> 6 d的预警延迟对危害控制作用较小,说明目前以病例监测为主的生物监测方式难以满足生物恐怖防御的需求,需要发展以环境监测为主的高效快速的预警手段。结论建立了一种基于情景模拟的生物恐怖事件预警时间需求评估方法,研究结果对于我国生物安全能力体系构建具有一定的参考价值,研究思路对其他"小概率-高危害"型突发事件的应急能力评估具有借鉴意义。