【摘 要】
:
控制流完整性(CFI)是一种在程序中通过保护间接转移有效减少代码注入和代码重用攻击等威胁的技术。由于二进制程序缺少源代码级别的语义, CFI策略的设定需要很谨慎。现有的面
【机 构】
:
百度X-Lab,雪城大学,中国科学院软件研究所计算机科学国家重点实验室,中国科学院软件研究所可信计算与信息保障实验室
【基金项目】
:
国家科学基金会资助;美国空军研究实验室资助;中国的国家基础研究发展计划资助;中国的国家自然科学基金资助;中国国家留学基金委(CSC)等机构出资支持。
论文部分内容阅读
控制流完整性(CFI)是一种在程序中通过保护间接转移有效减少代码注入和代码重用攻击等威胁的技术。由于二进制程序缺少源代码级别的语义, CFI策略的设定需要很谨慎。现有的面向二进制的 CFI解决方案,如BinCFI和CCFIR,虽然能够提供对二进制程序的防护能力,但它们应用的策略过于宽松,依然会受到复杂的代码重用攻击。本文提出一种新的面向二进制的CFI保护方案,称为BinCC。它可以通过静态二进制重写为x86下的二进制程序提供细粒度保护。通过代码复制和静态分析,我们把二进制代码分成几个互斥代码块。再进一步将代码中的每个间接转移块归类为块间转移或块内转移,并分别应用严格CFI策略来限制这些转移。为了评估 BinCC,我们引入新的指标来评估每种间接转移中合法目标的平均数量,以及利用 call-preceded gadgets产生ROP漏洞利用的难度。实验结果表明与BinCFI比较, BinCC显著地将合法转移目标降低了81.34%,并显著增加了攻击者绕过CFI限制实施复杂的ROP攻击的难度。另外,与BinCC可以降低大约14%的空间开销,而只提升了4%的运行开销。
其他文献
目的 探讨在深低温停循环(DHCA)下行主动脉弓置换术后发生急性肾损伤(AKI)的危险因素.方法 回顾性分析2004年1月至2008年12月期间首都医科大学附属北京安贞医院139例行主动脉
目的 观察透明晶状体超声乳化吸除联合Bigbag人工晶状体植入术治疗中老年高度近视的有效性及安全性.设计 回顾性病例系列.研究对象 40-65岁高度近视患者20例(36眼).方法 采用
针对NANDFlash的使用特性,提出了一种适用于嵌入式文件系统的动态逻辑映射表及其管理算法。通过该表的动态滚动可以均衡NANDFlash中块的使用频率、延长器件使用寿命,同时给出了垃圾块的回收策略和脏数据的判别方法。该算法采用查表的方式解决动态滚动中出现的速度问题,使算法效率高、软件开销少,并得到了实际验证。
1导言2001年10月21-27日,在美国马里兰州贝塞斯达(Bethesda)召开了世界卫生组织国际分类家族(the Family of International Classifications,WHO-FIC)合作中心领导人会议,会
颅内星形细胞瘤 ,脑转移瘤很少误诊为脑挫裂伤、脑出血。在无原发肿瘤病史及外伤的情况下有误诊病例 ,笔者在放疗科及 CT室工作期间 ,收集影像误诊 9例 ,报告如下。1 对象和
1959年Hazard首次描述了甲状腺髓样癌(medullary thyroid carcinoma,MTC),自此,这种过去常常被误诊为甲状腺未分化癌的少见恶性肿瘤才作为一个独立的病理类型被确立下来.MTC
目的观察局部温热并埋封热敏性微脂粒治疗乳腺癌的作用.方法采用局部温热并埋封热敏性阿霉素微脂粒(HT-Ts-LiP-ADM)治疗乳腺癌40例,以环磷酰胺、阿霉素、5-氟尿嘧啶(5-FU)联
随着经济的快速发展和社会的不断进步,人们开始步入生态文明的生活状态,对室内装潢设计的要求越来越高,因此生态理论理念下的室内装潢设计应用而生.在室内装潢设计的过程中将
本文主要对废水中重金属的检测方法进行了研究,从重金属检测的必要性以及废水中重金属的检测方法这两个方面进行了具体的阐述.
本文回顾我院自1986年以来采用中药黄柏、黄芩、黄连、石榴皮即三黄石榴汤保留灌肠治疗慢性结肠炎和慢性溃疡性结肠炎的临床效果.现报告如下.