二进制代码块：面向二进制程序的细粒度控制流完整性校验方法

• 作者: Abhishek Vasisht Bhaskar 冯登国 尹恒 王明华 苏璞睿
• 来源期刊: 信息安全学报
• 学科: 工学
• 关键词: 控制流完整性
• 年，卷（期）: 2016,（2）
• 页码范围: 61-72
• 页数: 12页
• 分类号: TP309.7
• 字数: 10869字
• 语种: 中文
• DOI: 10.19363/j.cnki.cn10-1380/tn.2016.02.006

摘要

控制流完整性(CFI)是一种在程序中通过保护间接转移有效减少代码注入和代码重用攻击等威胁的技术。由于二进制程序缺少源代码级别的语义, CFI策略的设定需要很谨慎。现有的面向二进制的 CFI解决方案,如BinCFI和CCFIR,虽然能够提供对二进制程序的防护能力,但它们应用的策略过于宽松,依然会受到复杂的代码重用攻击。本文提出一种新的面向二进制的CFI保护方案,称为BinCC。它可以通过静态二进制重写为x86下的二进制程序提供细粒度保护。通过代码复制和静态分析,我们把二进制代码分成几个互斥代码块。再进一步将代码中的每个间接转移块归类为块间转移或块内转移,并分别应用严格CFI策略来限制这些转移。为了评估 BinCC,我们引入新的指标来评估每种间接转移中合法目标的平均数量,以及利用 call-preceded gadgets产生ROP漏洞利用的难度。实验结果表明与BinCFI比较, BinCC显著地将合法转移目标降低了81.34%,并显著增加了攻击者绕过CFI限制实施复杂的ROP攻击的难度。另外,与BinCC可以降低大约14%的空间开销,而只提升了4%的运行开销。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冯登国	中国科学院软件研究所可信计算与信息保障实验室	243	6305	35.0	71.0
2	苏璞睿	中国科学院软件研究所计算机科学国家重点实验室	44	734	17.0	26.0
6	尹恒		1	5	1.0	1.0
7	Abhishek Vasisht Bhaskar		1	5	1.0	1.0