向右滑动:上一篇 向左滑动:下一篇 我知道了
广告

嵌入式处理器面临着侧信道攻击

时间:2019-08-23 作者:Raik Brinkmann 阅读:
围绕着处理器的安全漏洞有一个共同主题是它们都针对具有先进性能优化的现代高端实现功能,事实证明,这些先进功能可能被恶意目的利用。硬件漏洞会影响汽车、医疗和物联网系统的安全性,只有安全飞地和信任根还不够。本文介绍了一种防止硬件漏洞的系统方法以及强调保证IC完整性的重要性。

硬件漏洞会影响汽车、医疗和物联网系统的安全性,只有安全飞地和信任根还不够。WUXEETC-电子工程专辑

2018年1月,计算机安全研究人员披露了两个重大的处理器安全漏洞:Meltdown(熔断)和Spectre(幽灵),恶意程序可以利用这些漏洞窃取安全数据。WUXEETC-电子工程专辑

工程界和普通民众早已习惯了为修补软件漏洞而频繁更新app或安装操作系统补丁。而这里所说的不同,罪魁祸首是硬件,而硬件更新可不便宜。WUXEETC-电子工程专辑

修补硬件漏洞唯一可行的方法是发布新的软件,以降低系统速度与能效为代价,屏蔽易受攻击的硬件功能或避免使用它们。Meltdown和Spectre的发现引发了一系列针对硬件安全的调查。WUXEETC-电子工程专辑

截至目前,安全研究人员已经公布了更多的硬件漏洞,包括Foreshadow、ZombieLoad、RIDL和Fallout。这些硬件缺陷危及个人计算机、智能手机甚至云的安全性。WUXEETC-电子工程专辑

20190826-300.jpgWUXEETC-电子工程专辑
图1:攻击者进程通过基于行填充缓冲区(LFB)的微架构侧信道从受害者进程中窃取机密数据。受害者和攻击者进程处于不同的安全域中。(来源:S. van Schaik等,RIDL:Rogue In-Flight Data Load)WUXEETC-电子工程专辑

那嵌入式系统是否就安全了呢?

围绕着处理器的安全漏洞有一个共同主题——它们都针对具有先进性能优化的现代高端实现功能,事实证明,这些先进功能可能被恶意目的利用。WUXEETC-电子工程专辑

而嵌入式系统通常采用相对简单的处理器实现。它是一个封闭的环境,供应商应该可以更严格地控制它。实际上,在DVCon US 2019会议上,在开放式指令集架构(ISA)的验证和合规性讨论期间这个问题已经被提出来。开放式ISA,特别是RISC-V,以及MIPS等,提供优于专有架构的优势,越来越受到半导体行业和嵌入式设备社区的关注。WUXEETC-电子工程专辑

嵌入式处理器被应用于许多联网系统,例如工厂、智能家居、物联网(IoT)设备、医疗设备和消费电子产品,以及自动驾驶、飞机和其它生命安全攸关的关键应用。WUXEETC-电子工程专辑

不同于普遍的看法,嵌入式平台上运行的软件来自多个通常不受信任的源,例如那些允许用户运行第三方应用程序或运行来自多个供应商和开源库的大型软件堆栈的平台。为了最大化硬件利用率并降低成本,关键和非关键应用程序在同一物理处理器上运行。例如,汽车电子控制单元(ECU)可以在同一处理器内核上执行信息娱乐代码以及安全攸关功能。WUXEETC-电子工程专辑

直到最近,安全防护还主要集中在软件堆栈上,其硬件提供诸如信任根的底层防护功能。RISC-V基金会将精力主要放在安全平台和机制的实现上,以防止不受信任的代码影响关键系统功能的完整性。这些安全功能对于验证软件更新至关重要。从理论上讲,这些方法没有问题,不受信任的软件只能在定义好的保护壳内运行,无法突破或窃取安全飞地的敏感信息。WUXEETC-电子工程专辑

漏洞并非高端处理器所独有

不幸的是,还有一个复杂的问题。WUXEETC-电子工程专辑

最近,计算机科学家公布了一种新型攻击,称为Orc攻击,它威胁到嵌入式应用中常用的简单处理器。最重要的是,作者已经证明,很小的实施决策都可能会导致或者防止严重的硬件漏洞的出现。“这里的关键点在于,即使是简单的设计步骤,例如添加或删除缓冲区,不经意间也可能在任何处理器中引入隐蔽信道漏洞,”发现Orc攻击的Kaiserslautern-Stanford团队成员Mo Fadiheh说。WUXEETC-电子工程专辑

最终的结果是,Orc和侧信道攻击打破了特权级和用户级域之间的隔离。加密和安全验证可以被绕开。恶意代理程序可以推断出秘密数据,包括密码、社会安全号码和医疗记录;暴露用于验证固件更新的密钥可能允许攻击者加载自己的代码并以更高的权限执行它或替换操作系统中的某些功能;用于DoS攻击的后门或终止开关可能被添加;还有无数的可能性。“从理论上讲,黑客可以使用Orc漏洞来控制自动驾驶汽车或者征用物联网上联网的计算机,”斯坦福大学电子工程和计算机科学教授,团队成员Subhasish Mitra说。WUXEETC-电子工程专辑

业界已经意识到了这些风险,并正在积极寻求解决方案。例如,英飞凌就参与了发现Orc漏洞的研究工作。WUXEETC-电子工程专辑

一种防止硬件漏洞的系统方法

证明微架构侧信道不存在很复杂。硬件安全验证不仅仅是确保正确实施ISA安全功能,开发和分析威胁模型也是不够的,因为攻击场景需要被提前识别。WUXEETC-电子工程专辑

发现Orc漏洞的同一个团队发明了一种强大的方法可以在大规模生产和部署IC之前检测设计过程中的硬件漏洞,这就是唯一程序执行检查(UPEC),它可以系统地检测来自处理器微架构和较小实施决策中的漏洞。WUXEETC-电子工程专辑

20190826-301.jpgWUXEETC-电子工程专辑
图2:除一些受保护的秘密数据外,UPEC创建包含相同数据的同一计算系统的两个实例。 基于形式验证的分析揭示了是否有可能构建进程在未被授权访问秘密数据的情况下在两个系统中以不同的方式执行。(来源:M. R. Fadiheh等,处理器硬件安全漏洞及其唯一程序执行检查的检测。)WUXEETC-电子工程专辑

“Orc漏洞的出现反映出,芯片设计师每天都会做出的看似无害的设计决策,但可能会导致严重的缺陷,”威斯康星大学麦迪逊分校的计算机架构专家Mark D. Hill教授说。“通过UPEC,设计人员可以更加自信地发现并消除设计中所有潜在的隐蔽信道缺陷。”WUXEETC-电子工程专辑

嵌入式系统需要高完整性的IC

在嵌入式系统中,不太可能完全信任和控制软件堆栈的所有层。因此,即使使用简单的处理器内核,利用硬件实现中的漏洞,实施微架构侧信道攻击也会对安全造成真正的威胁。WUXEETC-电子工程专辑

基于RISC-V ISA的开源硬件为更高级别的安全审查提供了机会。但同时,恶意代理软件也可以对设计执行详细分析并发现低级漏洞。WUXEETC-电子工程专辑

而且嵌入式设备一旦部署,更换处理器就很困难且成本高昂。所以,替代方案就是在部署之前即识别硬件漏洞来防止侧信道攻击。UPEC是一种强大的硬件安全验证技术。其基于形式验证的属性检查,可以系统地识别硬件寄存器传输层(RTL)设计模型中的漏洞,而不用依靠专业知识来猜测可能存在的问题。WUXEETC-电子工程专辑

当前UPEC的实施是利用OneSpin Solutions提供的IC完整性来保证产品构建的。WUXEETC-电子工程专辑

数据安全性(Security)是IC完整性的基石,当然还有信任、功能正确性和生命安全性(Safety),各种因素相辅相成,例如安全漏洞或硬件木马可能会危及自动驾驶汽车的安全性。可见,IC完整性对如今的数字世界至关重要。WUXEETC-电子工程专辑

编按:本文作者Raik Brinkmann为OneSpin Solutions联合创始人、总裁暨CEOWUXEETC-电子工程专辑

本文同步刊登于电子工程专辑杂志2019年8月刊WUXEETC-电子工程专辑

本文为EET电子工程专辑 原创文章,禁止转载。请尊重知识产权,违者本司保留追究责任的权利。
您可能感兴趣的文章
  • 区块链是释放物联网潜力的关键? 区块链和物联网这两大趋势的结合可说是“天作之合”。不过,在证实区块链可实际导入物联网应用之前,业界还需要进行大量的实验和开发…
  • 同态加密技术将改写AI游戏规则? 同态加密(Homomorphic Encryption)为AI系统汇整不同来源的数据,而非实际分享数据,让各方可在保有数据隐私的情况下进行训练与学习。同态加密技术可让加密数据实现更有意义的运算,最终是否将改写AI的游戏规则?
  • 如果生活中没有无线技术... 能想象,如果这世界没有无线技术,现在的生活会是如何?若要现今的人们回到过去没有无线通信技术的日子,你愿意吗?
  • 智能汽车如何实现网络系统安全防护? 传统网络系统,甚至较新的网络系统往往是碎片化的,这使得系统漏洞百出,尤其容易受到网络攻击。解决方案是引入IP企业网络中常见的一个元素——网关。
  • 中消协:一半智能锁存在指纹识别安全风险 来自中国消费者协会官网的消息,在一份智能门锁试验报告中,半数存指纹识别安全风险。
  • 避免隔离设计的隐藏成本 随着汽车和其他交通工具日益电气化,对隔离的需求也在增加。此外,还必须面对降低成本、缩短上市时间以及符合更严格的监管要求和隔离设计等挑战,如何利用新一代解决方案有效管理项目风险?
相关推荐
    广告
    近期热点
    广告
    广告
    广告
    可能感兴趣的话题
    广告