带你了解5个幽灵攻击与编译器中的消减方法
摘要:幽灵攻击包括诱使受害者投机性地执行在正确程序执行期间不会发生的操作,并通过侧通道将受害者的机密信息泄露给攻击者。
本文分享自华为云社区《幽灵攻击与编译器中的消减方法介绍》,作者:毕昇小助手 。
引言
现代处理器使用分支预测和推测执行来最大限度地提高性能。例如,如果分支的目标取决于正在读取的内存值,CPU将尝试猜测目标并尝试提前执行。当内存值最终到达时,CPU要么丢弃,要么提交推测计算。投机逻辑在执行方式上是不可信的,可以访问受害者的内存和寄存器,并可以执行具有可观副作用的操作。幽灵攻击包括诱使受害者投机性地执行在正确程序执行期间不会发生的操作,并通过侧通道将受害者的机密信息泄露给攻击者。
注:幽灵攻击有很多变体,比如 Spectre Variant 1/2/3/3a/4、L1TF, Foreshadow (SGX)、MSBDS, Fallout、TAA, ZombieLoad V2等[1], 这里只介绍 spectre v1, 其他几个变体暂不涉及。
1、基本概念
乱序执行:又称无序执行,它允许程序指令流下游的指令与先前指令并行执行,有时甚至在先前指令之前执行,从而提高了处理器组件的利用率。
投机性执行:通常,处理器不知道程序的未来指令流。例如,当无序执行到达条件分支指令时,就会发生这种情况,该指令的方向取决于先前指令执行情况。在这种情况下,处理器可以保留其当前寄存器状态,预测程序将遵循的路径,并推测地沿着路径执行指令。如果预测结果是正确的,则提交(即保存)推测执行的结果,从而产生比等待期间CPU空转的性能优势。否则,当处理器确定它遵循了错误的路径时,它通过恢复其寄存器状态并沿着正确的路径继续,放弃 "推测执行" 的工作。
分支预测:在推测执行期间,处理器猜测分支指令的可能结果。更好的预测通过增加可以成功提交的推测性执行操作的数量来提高性能。
内存层次结构:为了弥合较快处理器和较慢内存之间的速度差距,处理器使用连续较小但较快的缓存的层次结构。缓存将内存划分为固定大小的块,称为行,典型的行大小为64或128字节。当处理器需要内存中的数据时,它首先检查层次结构顶部的L1缓存是否包含副本。在缓存命中的情况下,即在缓存中找到数据,从L1缓存中检索并使用数据。否则,在缓存未命中的情况下,重复该过程,尝试从下一个缓存级别检索数据,最后从外部内存检索数据。一旦读取完成,数据通常存储在缓存中(以前缓存的值被驱逐以腾出空间),以防在不久的将来再次需要数据。
微体系结构侧信道攻击:我们上面讨论的所有微体系结构组件都通过预测未来的程序行为来提高处理器性能。为此,他们维护依赖于过去程序行为的状态,并假设未来行为与过去行为相似或相关。当多个程序同时或通过分时在同一硬件上执行时,由一个程序的行为引起的微体系结构状态的变化可能会影响其他程序。这反过来又可能导致意外信息从一个程序泄露到另一个程序。初始微体系结构侧信道攻击利用时序可变性和通过 L1 cache 的泄漏从密码原语中提取密钥。多年来,通道已经在多个微体系结构组件上得到了演示,包括指令缓存、低级缓存、BTB 和分支历史。目标已经扩大到包括共址检测、打破 ASLR、击键监测、网站指纹识别和基因组处理。最近的结果包括跨核和跨CPU攻击、基于云的攻击、对可信执行环境的攻击、来自移动代码的攻击以及新的攻击技术。
2、攻击举例
思考下面这个程序,可否在不输入正确密码情况下通过验证?(答案有很多,比如 24 个 1)
int main() {int ret = 0;char def_password[8] = "1234567"; char save_password[8] = {0};char password[8] = {0};while(true) {printf("please input password: ");scanf("%s",password);memset(save_password,0,sizeof(save_password));if (strcmp(password, def_password)) { // 比较是否和密码一致printf("incorrect password!\n\n");} else {printf("Congratulation! You have passed the verification!\n");strcpy(save_password, password);break;}}return ret;
}
这里对数组的访问没有检查下标是否合法,但是更进一步的思考下,加上长度检查就一定安全了吗?
实际上,软件即使没有漏洞,数组访问时都加了下标有效性检查,也是不一定是安全的。考虑一个例子,其中程序的控制流依赖于位于外部物理内存中的未缓存值。由于此内存比CPU慢得多,因此通常需要几百个时钟周期才能知道该值。这时候,CPU会通过 投机执行 把这段空闲时间利用起来,从安全的角度来看,投机性执行涉及以可能不正确的方式执行程序。然而,由于CPU的设计了通过将不正确的投机执行的结果恢复到其先前状态来保持功能正确性,因此这些错误以前被认为是安全的。
具体的,比如下面的代码片段(完整的在论文[2]最后):
if (x < array1_size)y - array2[array1[x] * 4096]
假设变量 x 包含攻击者控制的数据,为了确保对 array1 的内存访问的有效性,上面的代码包含了一个 if 语句,其目的是验证x的值是否在合法范围内。接下来我们将介绍一下攻击者如何绕过此if语句,从而从进程的地址空间读取潜在的秘密数据。
首先,在初始错误训练阶段,攻击者使用有效输入调用上述代码,从而训练分支预测器期望 if 为真。接下来,在漏洞攻击阶段,攻击者在 array1 的边界之外调用值 x 的代码。CPU不会等待分支结果的确定,而是猜测边界检查将为真,并已经推测性地执行使用恶意x访问 array2[array1[x]*4096] 的指令。
请注意,从 array2 读取的数据使用恶意x将数据加载到依赖于 array1[x] 的地址的缓存中,并进行映射,以便访问转到不同的缓存行,并避免硬件预取效应。当边界检查的结果最终被确定时,CPU 会发现其错误,并将所做的任何更改恢复到其标称微体系结构状态(nominal microarchitectural state)。但是,对缓存状态所做的更改不会恢复,因此攻击者可以分析缓存内容,并找到从受害者内存读取的越界中检索到的潜在秘密字节的值。
3、攻击的消减方法
攻击的消减方法主要有以下几个:
- 防止投机性执行: 幽灵攻击需要投机执行。确保只有在确定导致指令的控制流时才能执行指令,将防止推测性执行,并防止幽灵攻击。虽然作为一种对策有效,但防止投机执行将导致处理器性能的显著下降。
- 防止访问机密数据
- 防止数据进入隐蔽通道
- 限制从隐蔽通道提取数据
- Preventing Branch Poisoning
关于使用编译器(如毕昇编译器)进行 spectre v1 的消减在LLVM社区[4] 已有针对函数级别的方案,使用方法如下:
1.为单个函数添加属性.
void f1() __attribute__((speculative_load_hardening)) {}
2.为代码片段添加函数属性.
#pragma clang attribute push(__attribute__((speculative_load_hardening)), apply_to = function)
void f2(){};
#pragma clang attribute pop
3.添加编译选项, 整体使能幽灵攻击防护
-mllvm -antisca-spec-mitigations=true
-mllvm -debug-only=aarch64-speculation-hardening # 查看调试信息
下面简单介绍一下编译器(如毕昇编译器)的消减原理[3]。
原始代码:
if (untrusted_value < limit)val = array[untrusted_value];// Use val to access other memory locations
生成的汇编大概是这样:
CMP untrusted_value, limitB.HS labelLDRB val, [array, untrusted_value]
label:// Use val to access other memory locations
消减后:
if (untrusted_value < limit)val = array[untrusted_value < limit? untrusted_value : 0];// Use val to access other memory locations
生成的汇编大概是这样:
CMP untrusted_value, limitB.HS labelCSEL tmp, untrusted_value, WZr, LOCSDBLDRB val, [array, tmp]
label:
// Use val to access other memory locations
可以看到,我们主要使用 CSEL+CSDB(Consume Speculative Data Barrier) 两个指令组合进行消减,CSEL 指令引入一个临时的变量,如果没有投机执行,这个指令看起来是多余的,因为它还是会等于 untrusted_value, 在投机执行且推测错误的情况下,临时变量的值就变成了0,且 CSDB 确保 CSEL 的结果不是基于预测的。
附:编译器防护前后反汇编对比
4. 编译器的实现
主要代码在文件 AArch64SpeculationHardening.cpp, 虽然 LLVM社区[4] 有很多讨论[5],但代码一共只有七百行左右,主要有三个步骤:
1.启用自动插入投机安全值。
// 对于可能读写内存的指令(不止是load), 加固其相关的寄存器MachineInstr &MI = *MBB.begin();if (MI.mayLoad())BuildMI(MBB, MBBI, MI.getDebugLoc(),TII->get(Is64Bit ? AArch64::SpeculationSafeValueX: AArch64::SpeculationSafeValueW)).addDef(Reg).addUse(Reg);
其中: 如果全是load到 GPR(通用寄存器),就对寄存器加固,否则对地址加固,因为 mask load 的值预计会导致更少的性能开销,因为与 mask load 地址相比,load 仍然可以推测性地执行。但是,mask 只在 GPR寄存器上很容易有效地完成,因此对于load到非GPR寄存器中的负载(例如浮点load),mask load 的地址。
2.将消减代码添加到函数入口和出口(初始化)。
for (auto Entry : EntryBlocks)insertSPToRegTaintPropagation(*Entry, Entry->SkipPHIsLabelsAndDebug(Entry->begin()));
...// CMP SP, #0 === SUBS xzr, SP, #0BuildMI(MBB, MBBI, DebugLoc(), TII->get(AArch64::SUBSXri)).addDef(AArch64::XZR).addUse(AArch64::SP).addImm(0).addImm(0); // no shift// CSETM x16, NE === CSINV x16, xzr, xzr, EQBuildMI(MBB, MBBI, DebugLoc(), TII->get(AArch64::CSINVXr)).addDef(MisspeculatingTaintReg).addUse(AArch64::XZR).addUse(AArch64::XZR).addImm(AArch64CC::EQ);
3.将消减代码添加到每个基本块。
BuildMI(SplitEdgeBB, SplitEdgeBB.begin(), DL, TII->get(AArch64::CSELXr)).addDef(MisspeculatingTaintReg).addUse(MisspeculatingTaintReg).addUse(AArch64::XZR).addImm(CondCode);SplitEdgeBB.addLiveIn(AArch64::NZCV);
...BuildMI(MBB, MBBI, DL, TII->get(AArch64::HINT)).addImm(0x14);
其他说明,这个方案依赖于 X16/W16 寄存器(CSEL 要用到),如果已经被使用,则只能插入内存屏障指令:
BuildMI(MBB, MBBI, DL, TII->get(AArch64::DSB)).addImm(0xf);BuildMI(MBB, MBBI, DL, TII->get(AArch64::ISB)).addImm(0xf);
5. 总结
支持软件安全技术的一个基本假设是,处理器将忠实地执行程序指令,包括其安全检查。本文介绍的幽灵攻击,它利用了投机执行违反这一假设的事实。实际攻击的示例不需要任何软件漏洞,并允许攻击者读取私有内存并从其他进程和安全上下文注册内容。软件安全性从根本上取决于硬件和软件开发人员之间对CPU实现允许(和不允许)从计算中暴露哪些信息有明确的共识。因此,虽然文中描述的对策可能有助于在短期内限制攻击,但它们只是权宜之计,因为最好有正式的体系结构保证,以确定任何特定代码构建在当今的处理器中是否安全。因此,长期解决方案将需要从根本上改变指令集体系结构。更广泛地说,安全性和性能之间存在权衡。本文中的漏洞以及许多未介绍的漏洞都来自于技术行业长期以来对最大限度地提高性能的结果。这之后,处理器、编译器、设备驱动程序、操作系统和许多其他关键组件已经进化出了复杂优化的复合层,从而引入了安全风险。随着不安全成本的上升,这些设计需要选择性修改。在许多情况下,需要改为安全性优化的替代实现。[2]
参考
- Spectre & Meltdown Checker:https://github.com/speed47/spectre-meltdown-checker
- 《Spectre Attacks: Exploiting Speculative Execution》:https://spectreattack.com/spectre.pdf
- ARM 的消减方案: https://developer.arm.com/support/arm-security-updates/speculative-processor-vulnerability/downloads/addressing-spectre-variant-1-in-software
- https://github.com/llvm/llvm-project
- 社区中spectre 相关patch: https://reviews.llvm.org/search/query/FwWsOGHMipKa/#R
点击关注,第一时间了解华为云新鲜技术~
带你了解5个幽灵攻击与编译器中的消减方法相关推荐
- 从入门到入土:[SEED-Lab]-幽灵攻击|Spectre Attack Lab|详细说明|实验步骤|实验截图
此博客仅用于记录个人学习进度,学识浅薄,若有错误观点欢迎评论区指出.欢迎各位前来交流.(部分材料来源网络,若有侵权,立即删除) 本人博客所有文章纯属学习之用,不涉及商业利益.不合适引用,自当删除! 若 ...
- lab12——幽灵攻击
这里写自定义目录标题 一.熔断 幽灵攻击 1. 信道攻击 2. 缓存记忆秘密 3. 熔断攻击 二. Task 1: Reading from Cache versus from Memory Task ...
- 网络攻防技术——幽灵攻击实验
一.题目 幽灵攻击于2017年发现,并于2018年1月公开披露,它利用关键漏洞进行攻击,存在于许多现代处理器中,包括Intel.AMD和ARM处理器.漏洞允许程序突破进程间和进程内的隔离,以便恶意程序 ...
- javascript,chrome与幽灵攻击---JavaScript,chrome with Spectre Attacks
javascript,chrome与幽灵攻击 ----JavaScript,chrome with Spectre Attacks 本文主要介绍曾经沸沸扬扬的CPU幽灵及熔断漏洞,以幽灵漏洞为主.之后 ...
- python get方法列表参数_python中requests库get方法带参数请求
起因是想爬五等分的花嫁的漫画.这是其中的一个坑 先上代码 data={ 'cid':567464, 'page':, 'key':'', 'language':1, 'gtk':6, '_cid':5 ...
- 斯坦福NLP名课带学详解 | CS224n 第10讲 - NLP中的问答系统(NLP通关指南·完结)
作者:韩信子@ShowMeAI,路遥@ShowMeAI,奇异果@ShowMeAI 教程地址:https://www.showmeai.tech/tutorials/36 本文地址:https://ww ...
- 斯坦福NLP名课带学详解 | CS224n 第11讲 - NLP中的卷积神经网络(NLP通关指南·完结)
作者:韩信子@ShowMeAI,路遥@ShowMeAI,奇异果@ShowMeAI 教程地址:https://www.showmeai.tech/tutorials/36 本文地址:https://ww ...
- 超导芯片应用计算机,带大家了解几个超导技术在生活中的实际应用张万三给大家超级超导材料技术,要找超导在...
带大家了解几个超导技术在生活中的实际应用 张万三给大家超级超导材料技术,要找超导在西部,西部城市在宁夏!!! 2019-10-27 由于超导技术的神奇特性,人们对超导技术的应用前景非常关注.下面,我们 ...
- word 自带公式编辑器中公式等号对齐方法
注意:这种方法只能对带括号的公式有用,比如下面的括号:且行数是根据 Enter 换行自动填补的,不是矩阵设定的 ! 我们在写论文时经常遇到公式不对齐问题,影响美观,下面详细介绍一下 word 自带公式 ...
最新文章
- java主动抛出400异常_400个线程同时查询数据,抛出一个异常
- Sql结果导出为excel文件
- MySQL查询日志总结
- “解剖”HIGO徐易容:关于创业、后悔、喝酒和滑雪
- 【Unity】2.11 了解游戏有哪些分类对你开阔思路有好处
- Mysql默认隔离级别为什么是可重复读?
- httpServlet,java web后台服务
- Hadoop1和Hadoop2的区别是什么?
- 关于修改密码后,远程服务器项目连接不上数据库的处理办法
- android parcelable 对象,Android实现Parcelable对象序列化的实例
- 串口uart编程——基于imx6ull
- php多层if函数,if函数嵌套计算公式用法
- 【Unity2D入门教程】简单制作战机弹幕射击游戏③C#编写 子弹Laser脚本
- 深耕地产 20 年,拿下90%头部客户,“明源云”能为垂直行业 SaaS 带来哪些启发?
- Android -- 创建数据库到SD卡
- c++ 判断回文,说实话,累赘
- Ubuntu 10.04 下载(官方地址)
- 数组:605.种花问题
- 弟兄胜过他,因为羔羊的血
- idea 启动报错: Failed to create JVM.JVM.Path XXXXXXX\jbr\ 我的解决办法