【摘 要】
：
以安全重构元为基础,能够提供高灵活性、适应性和可扩展性安全服务的可重构安全计算系统已成为当前安全研究领域的热点问题.目前,关于重构机理的研究主要采取基于功能候选集
【机 构】
：
解放军信息工程大学密码工程学院,空军航空大学基础部
【基金项目】
：
国家高技术研究发展计划(863)(2012AA012704),国家自然科学基金(61502531).
论文部分内容阅读
以安全重构元为基础,能够提供高灵活性、适应性和可扩展性安全服务的可重构安全计算系统已成为当前安全研究领域的热点问题.目前,关于重构机理的研究主要采取基于功能候选集的静态重构配置生成方法,可重构安全系统作为一种主动安全防御手段,应具有动态自动重构的能力,避免人工介入导致的脆弱性.针对动态自动可重构安全系统的建模以及配置生成过程的描述问题,提出了一种基于直觉主义逻辑扩展的动态自动可重构安全系统逻辑模型SSPE,给出了逻辑模型SSPE上的语法和推理规则,设计了基于SSPE的等级化安全重构元和安全需求建模和表达方
其他文献
随着陕北石油事业的发展,油田社会治安形势日益严峻,靖边采油厂认真落实油田公司石油管护工作会议精神,以建立一支＂政治合格、素质过硬、纪律严明、作风优良＂的保卫干部队伍为
1.对象与方法1.1临床资料我院于1999～2000年对8例外伤性脑室穿通畸形伴有难治性癫癎的病人进行手术治疗,8例均为男性,年龄18～35岁,平均33岁.EEG示癫癎病灶在穿通畸形部位.头CT
目的介绍脑室镜辅助脑室-腹腔分流术治疗脑积水的手术方法.方法回顾性分析12例病人的手术方法、优点及术中注意事项.结果术后随诊2～16个月,本组均获得成功.结论脑室镜辅助脑室
“这一刀下去，好了，就不再拖累家人了；要是要了命，也就不用再拖累家人了。”重庆农妇吴远碧因病无钱手术，赌命挥刀自剖放出了腹部积水。
针对企业节能降耗和平衡蒸气管网的具体要求，提出了以中压管网蒸气为工作流体，通过喷射器引射产汽压力较低的余热锅炉蒸气，从而实现余热锅炉蒸气升级利用的工艺方案。对其核心设
本文通过对比中韩非遗人才培养机制,在分析西河戏人才培养现状的基础上,提出了一些建设性的意见:优化财政扶持;建设专业剧团;规范剧目整理;结盟高等院校。
提出一种新型高层建筑供暖系统形式，即上供下回垂直双立管供暖系统，这种系统形式简单，安装方便，避免了双管系统在楼层数过多时出现的严重的竖向失调现象，通过工程实例证明该系统供
导出了集中荷载作用下非径向非承简支超静定曲梁桥的内力解，此解具有广义性，可作为桥梁工程结构设计的参考。
高高筑起艾滋病的防线国家预防和控制艾滋病专家委员会委员全军艾滋病、性病防治指导组专家解放军３０２医院专家组主任医师王凝芳自１９８１年美国发现首例艾滋病病人至今的１６年间，艾滋病如洪