轩辕实验室丨欧盟EVITA项目预研 第一章(四)

2024-04-08 01:32

本文主要是介绍轩辕实验室丨欧盟EVITA项目预研 第一章(四),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

本文主要介绍移动和嵌入式系统中的可信计算,包含TCG 与其标准和解决方案、可信平台模块、嵌入式系统安全与可信和硬件安全模块相关内容。

本文来自实验室孙伊凡的学习笔记

移动和嵌入式系统中的可信计算

 1.1 背景与现状

标准计算平台的安全性匮乏问题自70年代早期以来一直存在。
大多数发生的攻击围绕对 完整性的篡改 发起,而通用计算机具有的加密模块并不能满足对各类攻击的抵御,且始终缺乏基础安全机制。

因此,经济的硬件安全模块 与 计算平台所需的操作系统功能 是不可或缺的部分,该部分至少需要满足以下两点功能需求: 

  1. 针对平台完整性的保护措施;

  2. 安全内存、数据的电子签名与密钥、证书管理。

1.2 TCG 与其标准和解决方案

1.2.1 TCG 标准与社区

TCG (Trusted Computing Group) 为国际行业标准组织,旨在协调各领域专家合作制定规则。TCG在多个国家均有活跃社区,制定发行国际化标准,全球可信平台模块出货量达四亿至五亿,在医疗保健、政府、电子商务与金融领 域均有应用。

1.2.2 TCG 技术应用

商业可用产品

  1. 高保障平台(HAP)

  2. 自加密驱动器(SEDs)

  3. 网络安全(TNC)

  4. 可信平台模块(TPMs)

使用TCG技术的应用与解决方案

  1. 机器身份识别

  2. VPN与无线连接

  3. 静态数据

  4. SCADA

  5. 无客户端点元数据管理

  6. 基于硬件的云用户管理

  7. 可信执行

1.3 可信平台模块

1.3.1 提供信任链根基

整个平台的可信度与所有措施的可信度均基于该构建与其完整性。CRTM (Core Root of Trust for Measurement) 必须是平台初始化代码中不可改变的部分,但凡平台重启或运行,CRTM必须当即运行。

结构如下:

图片

1.3.2 无限制、安全的密钥存储结构

SRK (Storage Root Key) 形成了密钥存储结构的根,其他低阶密钥和数据(bolds)同样存储在该体系结构中。因此,它们的可信度依赖于SRK。

SRK是由其拥有者通过“Take Ownership”操作自动生成的。当拥有者选择放弃拥有权时,出于数据安全⻆度设计,

先前生成的SRK与之保护的所有的密钥将完全失效。在TSS核心服务的作用下,存储区域能够被拓展至外部存储,因此达到“无限制”存储的结果。

图片

1.4 嵌入式系统安全与可信 

1.4.1 背景与需求

2010年的震网病毒 (STUXNet) 敲响了警钟。当下,嵌入式网络已与互联网相联,原出现在其他网络的攻击也有可能应用于嵌入式网络。与此同时,嵌入式系统中的存储的参数能够反映设备的价值,使得嵌入式系统容易成为遭受攻击的目标。信息安全和功能安全是不可规避的问题,数据加密 以外的安保性 (security) 和安全性 (safety) 同样需要得到重视:

  • 整个系统的完整性

    检测(由系统故障或外部攻击引起的)对代码、数据和硬件架构篡改

  • 功能安全

    • 运行时条件

    • 容错机制

    • 故障处理

    • 故障安全条件

    •  错误状况的自动检测

    • 自动、受保护地进行系统替换

  • 针对克隆与版权侵害问题的保护

  • 处理数据与内容的电子权限管理

  • 通讯安全 :

    • 防止通信链路的滥用

    • 通信参与者身份认证

    • 访问权限控制

    • 策略的执行

  • 隐私保护

1.4.2 嵌入式平台新需求

  • 构建服务于多功能应用的多用户结构

  • 构建对抗外部攻击的保护模型 

  • 建立全新安全与一致性范式,用于对抗新型攻击 

  • 保持平台遭攻击后的正常运转,即在有漏洞的环境下仍然能够保证安全性 

  • 克服日常产品的复杂性壁垒,需要TC功能与产品战略设计的支持

1.4.3 EmSys

TRC基于以上需求,成立EmSys,提供全方位、完整可信的商业解决方案。

  • 技术说明

    • 为嵌入式系统提供的TPM接口:I2C,SPI

    • 为嵌入式系统提供的TPM功能:secure boot, local attestation, remote activation 提供集成TPM和对特定环境的支持(如集成的、可信的传感器或被激活的TPM模块)

  • 解决方案

    • 面向多领域的系统与用例:自动化;智能电网;工业控制;医疗行业;

    • 重要基础设施等

    • 与已有体系(如PKI,public key infrastructure)的良好集成兼容性 

    • 能够为以证书管理为首的设备与数据提供良好部署支持

1.5 汽⻋安全

1.5.1 可商业化的新嵌入式标准 

面对TPM应用率低,已有标准商业转化率低的现状,TCG在市场驱动下定义了全新标准,以迎合现有安全趋势。 

安全趋势:

  • 物理攻击频发

  • 供给方有充足资金预算,且专业团伙

  • Ad Hoc 安全验证 

  • 应对逻辑攻击的安全架构涌现 

  • 具有防篡改安全性能的控制器尚未部署

应用

安全性解决方案

防盗系统

汽⻋防盗器 / 遥控⻔禁系统(RKE,Remote Keyless Entry)

品牌 / IP保护

零件ID & 电子零件认证;机械零件的安全RFID Tag

转向保护

具有集成硬件安全模块的动力总成

1.5.2 ⻋载应用的安全:微控制器实现的重点关注领域

  • 防盗设备(Immobilizer

    • 已是⻋辆的标准配置

    • 需要进一步的性能提高

      • 通过CAN总线或者Flexray相连的小于10个ECN可能能够共享128bit对称AES密钥 

      • 相互质询相应协议(mutual challenge respinse protocol)在启动阶段被用于身份认证 

      • 出于可靠性理由,许多决策进程能够被实现

  • 元件防盗保护机制(Component Anti-Theft Protection

    • 上述防盗机制可以复用

    • 检测到未授权模块,及时限制或允许其行为操作

  • 安全启动(Secure Boot

    • Boot SW 的完整性证明

      • 保护安全的SW算法(非对称的SW-RSA等) 

      • 强制使用AES硬件拓展以缩短启动时延

  • 调整保护(Tuning Protection)

    • 启动TP的情况下,启动Debugger接口锁 

    • 防止非法读出(IP- Protection) 

    • 防止非法重编程

  • ⻋间通讯(Car to Car Communication

    • 比如基于数据交换的安全非对称PGP - 为实时编码与解码,需要硬件扩展

1.6 EVITA硬件安全模块

图片

由上图图可⻅,该ECU由加密模块与应用核两部分构成,其中加密模块由密码构造块与逻辑构造块组成。

1.7 可信网络连接标准 (TNC)

图片

  • 节点完整性 + 策略控制/实施 (可信连接功能) 

  • 加密,节点认证,密钥管理

1.8 对于嵌入式可信模块的预期

1.8.1 使用拓展可信计算标准能力

  • 提高加密敏捷度:增添额外的密码算法 

  • 提高安全敏捷度:按需添加加解密功能 

  • 提高功能⺠酒店:使用嵌入式的典型内容,如远程激活(remote activation)

1.8.2 集成安全模块 

提供的嵌入式系统模块满足预算与安全的需求,前文提及的可信平台模块(TPM)与CRTM一并被整合在了系统架构中。

图片

1.8.3 主动、独立的信任与安全控制器 

方案:将主机处理器集成嵌入TPM,从而得到安全可信的通用控制器

这篇关于轩辕实验室丨欧盟EVITA项目预研 第一章(四)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/884220

相关文章

基于 Cursor 开发 Spring Boot 项目详细攻略

《基于Cursor开发SpringBoot项目详细攻略》Cursor是集成GPT4、Claude3.5等LLM的VSCode类AI编程工具,支持SpringBoot项目开发全流程,涵盖环境配... 目录cursor是什么?基于 Cursor 开发 Spring Boot 项目完整指南1. 环境准备2. 创建

Three.js构建一个 3D 商品展示空间完整实战项目

《Three.js构建一个3D商品展示空间完整实战项目》Three.js是一个强大的JavaScript库,专用于在Web浏览器中创建3D图形,:本文主要介绍Three.js构建一个3D商品展... 目录引言项目核心技术1. 项目架构与资源组织2. 多模型切换、交互热点绑定3. 移动端适配与帧率优化4. 可

sky-take-out项目中Redis的使用示例详解

《sky-take-out项目中Redis的使用示例详解》SpringCache是Spring的缓存抽象层,通过注解简化缓存管理,支持Redis等提供者,适用于方法结果缓存、更新和删除操作,但无法实现... 目录Spring Cache主要特性核心注解1.@Cacheable2.@CachePut3.@Ca

SpringBoot通过main方法启动web项目实践

《SpringBoot通过main方法启动web项目实践》SpringBoot通过SpringApplication.run()启动Web项目,自动推断应用类型,加载初始化器与监听器,配置Spring... 目录1. 启动入口:SpringApplication.run()2. SpringApplicat

Springboot项目构建时各种依赖详细介绍与依赖关系说明详解

《Springboot项目构建时各种依赖详细介绍与依赖关系说明详解》SpringBoot通过spring-boot-dependencies统一依赖版本管理,spring-boot-starter-w... 目录一、spring-boot-dependencies1.简介2. 内容概览3.核心内容结构4.

在ASP.NET项目中如何使用C#生成二维码

《在ASP.NET项目中如何使用C#生成二维码》二维码(QRCode)已广泛应用于网址分享,支付链接等场景,本文将以ASP.NET为示例,演示如何实现输入文本/URL,生成二维码,在线显示与下载的完整... 目录创建前端页面(Index.cshtml)后端二维码生成逻辑(Index.cshtml.cs)总结

Spring Boot项目如何使用外部application.yml配置文件启动JAR包

《SpringBoot项目如何使用外部application.yml配置文件启动JAR包》文章介绍了SpringBoot项目通过指定外部application.yml配置文件启动JAR包的方法,包括... 目录Spring Boot项目中使用外部application.yml配置文件启动JAR包一、基本原理

Springboot项目登录校验功能实现

《Springboot项目登录校验功能实现》本文介绍了Web登录校验的重要性,对比了Cookie、Session和JWT三种会话技术,分析其优缺点,并讲解了过滤器与拦截器的统一拦截方案,推荐使用JWT... 目录引言一、登录校验的基本概念二、HTTP协议的无状态性三、会话跟android踪技术1. Cook

springboot项目中集成shiro+jwt完整实例代码

《springboot项目中集成shiro+jwt完整实例代码》本文详细介绍如何在项目中集成Shiro和JWT,实现用户登录校验、token携带及接口权限管理,涉及自定义Realm、ModularRe... 目录简介目的需要的jar集成过程1.配置shiro2.创建自定义Realm2.1 LoginReal

idea Maven Springboot多模块项目打包时90%的问题及解决方案

《ideaMavenSpringboot多模块项目打包时90%的问题及解决方案》:本文主要介绍ideaMavenSpringboot多模块项目打包时90%的问题及解决方案,具有很好的参考价值,... 目录1. 前言2. 问题3. 解决办法4. jar 包冲突总结1. 前言之所以写这篇文章是因为在使用Mav