检索结果-维普期刊中文期刊服务平台

基于内存取证的内核完整性度量方法被引量：9: 1; 作者陈志锋李清宝 +1 位作者张平王炜《软件学报》 EI CSCD 北大核心 2016年第9期2443-2458,共16页; 内核级攻击对操作系统的完整性和安全性造成严重威胁.当前,内核完整性度量方法在度量对象选取上存在片面性,且大部分方法采用周期性度量,无法避免TOC-TOU攻击.此外,基于硬件的内核完整性度量方法因添加额外的硬件使得系统成本较高;基于H... 展开更多; 关键词内核完整性完整性度量 TOC-TOU 内存取证时间随机化; 在线阅读下载PDF 职称材料

HybridHP:一种轻型的内核完整性监控方案及其形式化验证被引量：2: 2; 作者钱振江刘苇黄皓《计算机学报》 EI CSCD 北大核心 2012年第7期1462-1474,共13页; 虽然传统的虚拟化监控方法可以在一定程度上保障操作系统安全.然而,虚拟监控器VMM中管理域Domain0的存在以及操作系统级的切换所带来的性能损失是很多具有大型应用的操作系统所不能接受的.注重硬件虚拟化技术的监控能力而摒弃其不必要... 展开更多; 关键词硬件虚拟化内核完整性安全监控安全攻击 Isabelle形式化验证; 在线阅读下载PDF 职称材料

自动探测和保护确保内核完整性被引量：1: 3; 作者何进范明钰王光卫《电子科技大学学报》 EI CAS CSCD 北大核心 2014年第4期585-590,共6页; 内核rookits攻击对内核完整性构成致命威胁,因此对内核rootkits探测和防护确保内核完整性是当前研究的热点,然而现有的研究总存在不足:要么侧重内核rootkits防护,要么侧重内核rootkits探测,并未将两者相结合确保内核完整性。鉴于此,本... 展开更多; 关键词 ADPos 探测模式联动内核完整性保护模式 ROOTKITS; 在线阅读下载PDF 职称材料

基于TWPos内核完整性保护: 4; 作者何进范明钰王光卫《电子科技大学学报》 EI CAS CSCD 北大核心 2015年第6期892-898,共7页; 内核rookits攻击对内核的完整性构成致命威胁,因此对内核rootkits防护是内核完整性保护的重点。当前研究主要侧重于内核rootkits探测和防护,不足之处在于:1)rootkits防护存在单一保护模式;2)内核rootkits探测只能做探测使用,即便发现内... 展开更多; 关键词探测恢复复试内核完整性 ROOTKITS 安全认证保护模式 TWPos 虚拟机管理; 在线阅读下载PDF 职称材料

一个基于引用监控机的内核完整性保护方法: 5; 作者孟江涛卢显良田荣华《计算机应用》 CSCD 北大核心 2006年第5期1071-1074,共4页; 运用引用监控机的概念和虚拟机监控器的功能,提出了一种新的保护内核完整性的方法。该方法在虚拟机监控器中增加了引用监控模块,使之成为引用监控机;让客户操作系统内核以非特权模式运行在引用监控机上,使其对某些资源的修改操作必须经... 展开更多; 关键词引用监控机内核完整性可加载内核模块虚拟机监控器Xen; 在线阅读下载PDF 职称材料

一种采用硬件虚拟化的内核数据主动保护方法被引量：1: 6; 作者傅建明沙乐天 +1 位作者李鹏伟彭国军《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2014年第1期8-13,共6页; 为保护操作系统内核的完整性,提出了一种基于硬件虚拟化技术的保护方案。该方法对关键寄存器、代码指针表、函数代码等恶意代码攻击的关键点进行识别和放入保护区,利用硬件虚拟化的自动陷入机制检测对保护区的非法篡改。同时,利用单步... 展开更多; 关键词硬件虚拟化内核数据完整性 ROOTKIT检测; 在线阅读下载PDF 职称材料

基于隔离区的信息保护模型研究被引量：1: 7; 作者胡雨霁黄皓《计算机工程与设计》 CSCD 北大核心 2010年第21期4550-4554,4723,共6页; 通过分析以主机为管理对象的涉密信息保护技术的特点,提出了一种基于隔离区的信息保护模型。该模型在保证涉密信息可用性不受影响的同时,加强了对涉密信息的保护。实现该模型的关键在于实现进程资源访问的隔离,通过分析Windows操作系统... 展开更多; 关键词隔离区过滤驱动内核完整性可信启动程序组件校验; 在线阅读下载PDF 职称材料

题名基于内存取证的内核完整性度量方法被引量：9: 1; 作者陈志锋李清宝张平王炜; 机构解放军信息工程大学数学工程与先进计算国家重点实验室; 出处《软件学报》 EI CSCD 北大核心 2016年第9期2443-2458,共16页; 基金 "核高基"国家科技重大专项(2013JH00103) 国家高技术研究发展计划(863)(2009AA01Z434)~~; 文摘内核级攻击对操作系统的完整性和安全性造成严重威胁.当前,内核完整性度量方法在度量对象选取上存在片面性,且大部分方法采用周期性度量,无法避免TOC-TOU攻击.此外,基于硬件的内核完整性度量方法因添加额外的硬件使得系统成本较高;基于Hypervisor的内核完整性度量方法,应用复杂的VMM带来的系统性能损失较大.针对现有方法存在的不足,提出了基于内存取证的内核完整性度量方法 KIMBMF.该方法采用内存取证分析技术提取静态和动态度量对象,提出时间随机化算法弱化TOC-TOU攻击,并采用Hash运算和加密运算相结合的算法提高度量过程的安全性.在此基础上,设计实现了基于内存取证的内核完整性度量原型系统,并通过实验评测了KIMBMF的有效性和性能.实验结果表明:KIMBMF能够有效度量内核的完整性,及时发现对内核完整性的攻击和破坏,且度量的性能开销小.; 关键词内核完整性完整性度量 TOC-TOU 内存取证时间随机化; Keywords kernel integrity integrity measurement TOC-TOU, memory forensic time randomization; 分类号 TP316 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名HybridHP:一种轻型的内核完整性监控方案及其形式化验证被引量：2: 2; 作者钱振江刘苇黄皓; 机构南京大学软件新技术国家重点实验室南京大学计算机科学与技术系常熟理工学院计算机科学与工程学院; 出处《计算机学报》 EI CSCD 北大核心 2012年第7期1462-1474,共13页; 基金国家"八六三"高技术研究发展计划项目基金(2007AA01Z409) 江苏省科技支撑计划自然科学基金(BE2008124) 江苏省"六大人才高峰"高层次人才项目(2011-DZXX-035)资助~~; 文摘虽然传统的虚拟化监控方法可以在一定程度上保障操作系统安全.然而,虚拟监控器VMM中管理域Domain0的存在以及操作系统级的切换所带来的性能损失是很多具有大型应用的操作系统所不能接受的.注重硬件虚拟化技术的监控能力而摒弃其不必要的虚拟化能力,提出了一个新型的通用的虚拟化监控框架HybridHP,并实现其原型.HybridHP将管理域和虚拟机监控机制两者整合到被监控操作系统的地址空间,具有很好的获取被监控系统操作语义的能力.利用Isabelle/HOL形式化辅助证明工具验证HybridHP的隔离性、安全性和监控能力.最后对HybridHP进行了攻击实验和性能评估,结果显示HybridHP提供了和传统的虚拟化监控方案相同的安全保障,并具有很好的系统性能.; 关键词硬件虚拟化内核完整性安全监控安全攻击 Isabelle形式化验证; Keywords hardware virtualization kernel integrity security monitoring security attacks Isabelle formal verification; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名自动探测和保护确保内核完整性被引量：1: 3; 作者何进范明钰王光卫; 机构电子科技大学计算机科学与工程; 出处《电子科技大学学报》 EI CAS CSCD 北大核心 2014年第4期585-590,共6页; 基金国家863重点项目(2009AA01Z435,2009AA01Z403) 国家自然科学基金(60373109,60272091); 文摘内核rookits攻击对内核完整性构成致命威胁,因此对内核rootkits探测和防护确保内核完整性是当前研究的热点,然而现有的研究总存在不足:要么侧重内核rootkits防护,要么侧重内核rootkits探测,并未将两者相结合确保内核完整性。鉴于此,本文将探测和保护相结合形成一个自动联动机制,从而构成了基于探测保护的一体化系统ADPos来确保内核完整性。实验表明ADPos系统既能自动全面有效地探测与防护,而且又不牺牲系统性能为代价,并且兼容多种OS系统、同时防零日攻击。; 关键词 ADPos 探测模式联动内核完整性保护模式 ROOTKITS; Keywords ADPos detection mode interactive mechanism kernel integrity protection mode rootkits; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于TWPos内核完整性保护: 4; 作者何进范明钰王光卫; 机构电子科技大学计算机科学与工程学院; 出处《电子科技大学学报》 EI CAS CSCD 北大核心 2015年第6期892-898,共7页; 基金国家863项目(2009AA01Z435 2009AA01Z 403) +1 种基金国家自然科学基金(60373109 60272091); 文摘内核rookits攻击对内核的完整性构成致命威胁,因此对内核rootkits防护是内核完整性保护的重点。当前研究主要侧重于内核rootkits探测和防护,不足之处在于:1)rootkits防护存在单一保护模式;2)内核rootkits探测只能做探测使用,即便发现内核已经受到攻击,也无能为力。鉴于这种情况,该文设计了一种内核完整性保护方法,采用安全认证保护和探测恢复两种方式(TWPos)保护操作系统,同时具备探测和防护能力,即便内核受到攻击也能进行恢复。实验表明,TWPos系统既能全面有效的防护,而且又不牺牲系统性能,并且兼容多种OS系统。; 关键词探测恢复复试内核完整性 ROOTKITS 安全认证保护模式 TWPos 虚拟机管理; Keywords detection recovery mode kernel integrity rootkits safe authentication protection mode two-mode protection operation system virtual machine monitoring; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名一个基于引用监控机的内核完整性保护方法: 5; 作者孟江涛卢显良田荣华; 机构电子科技大学计算机科学与工程学院; 出处《计算机应用》 CSCD 北大核心 2006年第5期1071-1074,共4页; 基金信息产业部电子发展基金资助项目(信部运[2002546]); 文摘运用引用监控机的概念和虚拟机监控器的功能,提出了一种新的保护内核完整性的方法。该方法在虚拟机监控器中增加了引用监控模块,使之成为引用监控机;让客户操作系统内核以非特权模式运行在引用监控机上,使其对某些资源的修改操作必须经过运行于特权模式的引用监控机的验证,从而阻止恶意代码修改内核。与传统的防御恶意代码的方法相比,传统方法只能检测出内核完整性已被破坏,不能阻止恶意代码对内核的修改。; 关键词引用监控机内核完整性可加载内核模块虚拟机监控器Xen; Keywords reference monitor integrity of kernel LKM VMM Xen; 分类号 TP393.08 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名一种采用硬件虚拟化的内核数据主动保护方法被引量：1: 6; 作者傅建明沙乐天李鹏伟彭国军; 机构武汉大学空天信息安全与可信计算教育部重点实验室武汉大学计算机学院武汉大学软件工程国家重点实验室; 出处《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2014年第1期8-13,共6页; 基金国家自然科学基金资助项目(61202387 90718005) 高等学校博士学科点专项科研基金资助项目(20120141110002); 文摘为保护操作系统内核的完整性,提出了一种基于硬件虚拟化技术的保护方案。该方法对关键寄存器、代码指针表、函数代码等恶意代码攻击的关键点进行识别和放入保护区,利用硬件虚拟化的自动陷入机制检测对保护区的非法篡改。同时,利用单步执行技术和事件转发技术保障OS其它操作的兼容性。另外,通过保护页的合并减少保护区的长度以提高异常处理的效率。最后,实现了一个采用该技术的原型工具——HV_KDAP,该工具检测了主流的9款Rootkit样本,实验结果证实其增加的负载为12.7%。该工具还可以抑制内核本地权限提升的攻击,以及用于内核攻击的取证。; 关键词硬件虚拟化内核数据完整性 ROOTKIT检测; Keywords hardware virtualization kernel ,data integrity Rootkit detection; 分类号 TP31 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于隔离区的信息保护模型研究被引量：1: 7; 作者胡雨霁黄皓; 机构南京大学软件新技术国家重点实验室南京大学计算机科学与技术系; 出处《计算机工程与设计》 CSCD 北大核心 2010年第21期4550-4554,4723,共6页; 基金江苏省高技术基金项目(BE2008124); 文摘通过分析以主机为管理对象的涉密信息保护技术的特点,提出了一种基于隔离区的信息保护模型。该模型在保证涉密信息可用性不受影响的同时,加强了对涉密信息的保护。实现该模型的关键在于实现进程资源访问的隔离,通过分析Windows操作系统中进程信息可能的泄漏点,结合过滤驱动和程序组件校验的机制构造了涉密信息隔离区来实现进程资源访问的隔离。; 关键词隔离区过滤驱动内核完整性可信启动程序组件校验; Keywords process isolation filter driver kernel integrity trusted boot program component verification; 分类号 TP393.08 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于内存取证的内核完整性度量方法	陈志锋李清宝张平王炜	《软件学报》 EI CSCD 北大核心	2016	9	在线阅读下载PDF 职称材料
2	HybridHP:一种轻型的内核完整性监控方案及其形式化验证	钱振江刘苇黄皓	《计算机学报》 EI CSCD 北大核心	2012	2	在线阅读下载PDF 职称材料
3	自动探测和保护确保内核完整性	何进范明钰王光卫	《电子科技大学学报》 EI CAS CSCD 北大核心	2014	1	在线阅读下载PDF 职称材料
4	基于TWPos内核完整性保护	何进范明钰王光卫	《电子科技大学学报》 EI CAS CSCD 北大核心	2015	0	在线阅读下载PDF 职称材料
5	一个基于引用监控机的内核完整性保护方法	孟江涛卢显良田荣华	《计算机应用》 CSCD 北大核心	2006	0	在线阅读下载PDF 职称材料
6	一种采用硬件虚拟化的内核数据主动保护方法	傅建明沙乐天李鹏伟彭国军	《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心	2014	1	在线阅读下载PDF 职称材料
7	基于隔离区的信息保护模型研究	胡雨霁黄皓	《计算机工程与设计》 CSCD 北大核心	2010	1	在线阅读下载PDF 职称材料