GA黄金甲ADLab：CPU“鬼魂”缝隙分析与验证
颁布功夫 2018-01-081 前 言
近日，CPU底层缝隙安全事务已经波及全球险些所有的手机、电脑、云推算产品。这次的缝隙别离起名Meltdown(崩溃)和Spectre(鬼魂)。这两个缝隙可能会造成受�；さ拿苈搿⒚舾行畔⑿孤�。
GA黄金甲ADLab在三大操作系统(windows、macos、linux)，验证设备（蕴含幼我台式电脑、笔记本及服务器设备）上实现了“鬼魂”缝隙验证工作。
本文沉点对“鬼魂”缝隙的缝隙的道理、缝隙验证、风险及防护进行介绍。
2 缝隙道理
由于高快CPU和低快内存之间的I/O瓶颈，现代处置器会利用流水线技术提高机能，通过预测下一步要执行的指令并提前把这些指令放在流水线上，以提高快率。但是若是法式有分支跳转的话，这些流水线上的预取的指令将全数作废, CPU必要清空所有的指令, 而后加载射中地址的指令，再将后续指令加载运行。
若是法式有10个分支的话，那么流水线上预取的指令只有很低的概率（1/10）会射中。因而CPU必要一种预测技术来提高流水线预取指令的射中率，这一技术被称为CPU分支预测技术。
CPU分支预测技术由CPU对汗青指令的执行情况进行动态分析和进建，并进行预测。在高机能推算机中，CPU分支预测的成功概率在95%~98%之间，这大大提高了推算机的运算机能。Intel公司在1995年飞跃系列CPU起就已经选取CPU流水线及分支预测技术，目前主流的高机能CPU都选取这些技术。
若是CPU分支预测的执行蹊径不正确，其后在流水线上误判并预取的指令最终并不会现实执行，但是为了提高机能的必要，流水线执行实现后并没有对所有预判执行的现场做齐全回滚，TLB或缓存状态并没有被回滚，这就引入了安全问题。
在推算机系统中缓存是CPU在执行法式运行时共享的区域，攻击者通过旁路攻击(Side Channel Attack)的方式获取到缓存的内容。
若是攻击者能触发利用执行去接见指定的敏感数据区域的话，就可能读取到正本是其它用户或更高特权的敏感数据。
更进一步的CPU分支预测的过程是能够被通常权限的恶意法式影响的，攻击者能够机关出类似ROP（Return-oriented Programming）攻击的逻辑去影响CPU的分支预测过程。
利用该缝隙能够有以下三种攻击场景：
CVE-2017-5753(绕过内存隔离天堑查抄)：通过恶意代码传染分支预测，来绕过内核或虚构机的内存对象天堑检测。好比通过机关的恶意代码来触发有越界的数据下标，造成内存越界接见，由于这个接见操作是由CPU自己实现的，内核或虚构机的防护无法起到作用。
CVE-2017-5715(分支指标注入)： 传染分支预测。在大型软件系统如浏览器等软件，高度抽象模型的代码中往往带有间接函数指针挪用的情况，CPU在处置时必要进行必要的函数指针接见，为了提高I/O机能，CPU会进行分支预测，这样的话攻击者能够通过类似的ROP的方式来进行信息泄露函数指针，从而绕过地址随机化的防护。
“恶意数据加载”：在部门CPU上，为了提高机能，并不是每次都对指令作权限查抄的，查抄的前提存在肯定的缺点，使得恶意的数据能够被加载到受�；さ那�。
3 缝隙验证
谷歌公司Project Zero安全团队近日公开了鬼魂缝隙的POC(概想验证法式)，参考链接：https://googleprojectzero.blogspot.com/2018/01/reading-privileged-memory-with-side.html。
POC演示了将一段机密文字"The Magic Words are Squeamish Ossifrage." 放在内存中，并通过缝隙利用旁路分析的方式从缓存中猜测出了该段文字的内容。
POC的攻击重要分三个步骤，别离是触发CPU进行分支预测，影响CPU的分支预测误判，探测缓存数据获取敏感数据。
攻击重要由readMemoryByte函数实现。readMemoryByte函数首先屡次挪用victim_function这样会触发CPU分支预测技术，CPU分支预测技术以为针对x参数的地址接见，鄙人一次挪用时可能是有效的值，所以CPU会提前将array1[x]的值筹备在缓存中。
而后，readMemoryByte函数向victim_function传入一个越界领域的x值参数，这时辰CPU分支预测技术将会产生误判，而后法式通过接见array2[array1[x] * 512]这段地址领域的内容，将array1[x]的内容泄漏在缓存中。
最后，我们能够使用单一的缓存刷新缓和存数据探测技术，猜测array2数组加载在缓存cache line中的值，从而读取机密文字的内容。在POC中，选取了推算内存接见指令的执行功夫来测试是否射中缓存（若是射中缓存，则指令执行功夫会比力短），从而判断是否成功读取到机密文字。
在POC中机密文字最初并没有呈此刻缓存里，但是攻击过程的第一轮的迭代就把指标地址泄漏在缓存中，所以攻击过程能够被屡次挪用，从而读取到机密文字的全数内容。
3.1 验证了局
我们别离在三台推算机上对缝隙进行了验证，这三台推算机的CPU别离是Intel的i5-3317U、i5-7360U、i7-4790K处置器，操作系统别离是Mac、linux、windows。
3.1.1 尝试1
操作系统：MACOSX Yosemite 版本10.10.5
处置器名称： Intel Core i5-3317U 1.7 G*2
3.1.2 尝试2
测试环境： ubuntu 16.04 LTS
内核版本 4.10.0-42 64位
处置器型号：intel core i5-7360U cpu 2.30GHZ*4
3.1.3 尝试3
操作系统：win10
CPU型号：intel core i7-4790K cpu 4.00GHZ*4
4 鬼魂缝隙的影响微风险
鬼魂缝隙影响到险些所有的操作系统及推算机设备。
由于鬼魂缝隙起因于CPU分支预测技术的缺点，该技术在1995年起就一向是高机能CPU标配的技术。目前主流安全技术所选取的过程隔离，用户空间和内核地址隔离，多租户的虚构隔离防护技术及沙箱隔离技术在这一缝隙下全数失效。
鬼魂缝隙对多租户下的云服务系统影响比力大，攻击者在云平台通过本地的通常的接见权限就能够读取云平台的敏感信息，为进一步获得更高的权限和获得机密数据提供了可能。
该缝隙的风险还在于攻击者能够通过该缝隙远程提议攻击，当指标设备接见远程服务器的网页时，攻击者能够通过恶意js脚正本获得指标设备上的敏感信息，如保留在内存中的密码Cookie等。
鬼魂缝隙受影响的处置器不仅蕴含intel，高通，AMD,ARM等厂家,下表为已知的受影响的intel处置器列表（数据来自intel官网）：
5 缝隙的防护
1.敏感数据接见和运算尽可能在独立的安全芯片上运行，使得通常权限的执行环境和高权限的执行环境在物理上隔离，从而预防敏感信息泄漏。
2.实时升级补丁，出格是公有云平台。由于云服务系统的重大、复杂，云服务厂家应尽早地进行缝隙建补，预防关键数据和隐衷的泄露、登陆凭证被窃取导致连锁攻击等次生灾害。
3.目前基于软件补丁只是做了一时隔离，如TLB隔离等，但是将来将会有一些绕过技术会出现，更换硬件才是彻底建复这个问题的关键。
4.在软硬件设计方面，开发者必要思考机能和安全性之间获得平衡。
京公网安备11010802024551号