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

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

令牌损失信息的通用文本攻击检测

目的 文本对抗攻击主要分为实例型攻击和通用非实例型攻击。以通用触发器（universal trigger,UniTrigger）为代表的通用非实例型攻击对文本预测任务造成严重影响,该方法通过生成特定攻击序列使得目标模型预测精度降至接近零。为了抵御通用文本触发器攻击的侵扰,本文从图像对抗性样本检测器中得到启发,提出一种基于令牌损失权重信息的对抗性文本检测方法（loss-based detect universal adversarial attack,LBD-UAA）,针对 UniTrigger攻击进行防御。方法 首先 LBD-UAA 分割目标样本为独立令牌序列,其次计算每个序列的令牌损失权重度量值（token-loss value,TLV）以此建立全样本序列查询表。最后基于 UniTrigger 攻击的扰动序列在查询表中影响值较大,将全序列查询表输入设定的差异性检测器中通过阈值阀门进行对抗性文本检测。结果 通过在 4 个数据集上进行性能检测实验,验证所提出方法的有效性。结果表明,此方法在对抗性样本识别准确率上高达 97. 17%,最高对抗样本召回率达到 100%。与其他 3 种检测方法相比,LBD-UAA 在真阳率和假阳率的最佳性能达到 99. 6% 和 6. 8%,均实现大幅度超越。同时,通过设置先验判断将短样本检测的误判率降低约 50%。结论 针对 UniTrigger 为代表的非实例通用式对抗性攻击提出 LBD-UAA 检测方法,并在多个数据集上取得最优的检测结果,为文本对抗检测提供一种更有效的参考机制。     

黑翡翠的玉石文化表现

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

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

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