可重构安全系统建模与配置生成方法研究

以安全重构元为基础,能够提供高灵活性、适应性和可扩展性安全服务的可重构安全计算系统已成为当前安全研究领域的热点问题.目前,关于重构机理的研究主要采取基于功能候选集的静态重构配置生成方法,可重构安全系统作为一种主动安全防御手段,应具有动态自动重构的能力,避免人工介入导致的脆弱性.针对动态自动可重构安全系统的建模以及配置生成过程的描述问题,提出了一种基于直觉主义逻辑扩展的动态自动可重构安全系统逻辑模型SSPE,给出了逻辑模型SSPE上的语法和推理规则,设计了基于SSPE的等级化安全重构元和安全需求建模和表达方法,并给出了基于映射关系的安全重构元描述向逻辑语言的转换规则.最后,以IPSec协议为例,阐述了可重构安全系统重构配置的动态自动推理生成过程.基于直觉主义逻辑的可重构安全系统建模和配置生成方法,为研究可重构安全系统的重构机理提供了新的思路和方法,具有重要的意义.     

黑翡翠的玉石文化表现

正黑翡翠,顾名思义为黑色的翡翠,也称为"乌鸡种"翡翠。这类翡翠无论在自然光下还是在透射光下观察,均呈不同色调的黑色,且分布不均(图1、2、3)。据研究,黑翡翠的黑色主要是由存在于组成翡翠的主要矿物硬玉内部及间隙中一些细小碳质包裹体引起(图4)。其所含碳质会对光线产生吸收,使翡翠显示出黑色。因此,黑翡翠的黑色的与所含碳质包裹体的多少有直接关系,     

电化学氧化法处理含硫废水中阳极材料研究进展

随着环保法的日益严格,传统的处理硫化物方法的劣势逐渐显现。由于具有环境友好和高去除效率的优点,通过电化学氧化法处理硫化物的方法越来越受到关注。本文介绍了电化学氧化法处理废水中硫化物的研究进展,对反应机理及结构模型进行了说明。对铂电极,碳材料电极,DSA电极,BDD电极,混合金属氧化物电极及新型电极的电化学性能进行分类,探讨并研究其对电化学氧化法处理含硫污水的影响。