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

来源 :信息安全与通信保密 | 被引量 : 1次 | 上传用户:cl157967874
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
动态目标防御是网络空间安全的革命性技术之一,可信动态逻辑异构系统(TANET)是其中较典型的原型系统。TANET具有跨平台特性,能在应用软件运行过程中无缝地动态改变运行平台和操作系统。TANET通过虚拟机内省、容器、检查点以及程序迁移等技术可在数秒内完成应用程序的整体迁移。我国构建网络空间主动防御体系,必须加强这些技术研究。
其他文献
3月4日,公司召开2010年度科技大会。公司领导杨思明、吕鹏、吕庆明、张六喜及公司科技战线的代表出席会议,江苏省科技厅副厅长凤穗、南京市科技局成果处处长金淮应邀出席了会
期刊
Carbon2003于2003年7月6日至10日在西班牙北部的海滨小城Oviedo举行.本次会议由西班牙炭素学会承办.来自世界各地38个国家约420位学者参加了这次会议.与会代表中人数较多的国
冶金工程造价的全过程控制,就是在投资决策阶段、设计阶段、招标阶段、施工阶段以及竣工验收阶段对建设项目的投资进行控制,最终达到控制工程造价的目的。
针对各种形状炭纤维复合材料构件,本文介绍了一种实时超声多维扫描成像检测技术。
从企业专业图书馆存在问题和信息源现状分析入手,指出网络技术的发展使得企业专业图书馆传统工作方式受到严峻挑战。对改进企业专业馆工作提出了一些看法和建议。
在大量烧结杯实验和工业生产实验的基础上,通过对烧结配料结构进行优化、调整部分工艺参数等措施,提高烧结矿中氧化镁含量,
寓情感教育于数学教学之中冯红英情感是人们对客观事物的一种态度,反映了客观事件与人的需要之间的某种关系.它是人们心理活动中的一个重要因素,对人们的生活、学习能产生极大的
简介了KDON20000/30000内压缩制氧机组设备配置和空分流程,就该制氧机组在超高、超低负荷下运行时遇到的问题进行分析和总结,提出在极限负荷下操作运行的注意事项和采取的措
少年管教所管教对象是犯罪少年,这与成年犯监狱、劳改队比较,管理教育工作必定有其自身的特点。但是,长期以来,我们的少管工作对这些特点重视不够,基本上是用管教成年犯的方法去管
1964年,我国政府向全世界宣告,中国遗留下来的梅毒、淋病、软性下疳、淋巴肉芽肿病等(俗称“花柳病”,现在人们称之为“经典性病”),已经基本被消灭了。