轩辕实验室丨欧盟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

相关文章

Spring Boot项目中结合MyBatis实现MySQL的自动主从切换功能

《SpringBoot项目中结合MyBatis实现MySQL的自动主从切换功能》:本文主要介绍SpringBoot项目中结合MyBatis实现MySQL的自动主从切换功能,本文分步骤给大家介绍的... 目录原理解析1. mysql主从复制(Master-Slave Replication)2. 读写分离3.

一文教你如何将maven项目转成web项目

《一文教你如何将maven项目转成web项目》在软件开发过程中,有时我们需要将一个普通的Maven项目转换为Web项目,以便能够部署到Web容器中运行,本文将详细介绍如何通过简单的步骤完成这一转换过程... 目录准备工作步骤一:修改​​pom.XML​​1.1 添加​​packaging​​标签1.2 添加

tomcat多实例部署的项目实践

《tomcat多实例部署的项目实践》Tomcat多实例是指在一台设备上运行多个Tomcat服务,这些Tomcat相互独立,本文主要介绍了tomcat多实例部署的项目实践,具有一定的参考价值,感兴趣的可... 目录1.创建项目目录,测试文China编程件2js.创建实例的安装目录3.准备实例的配置文件4.编辑实例的

springboot集成Deepseek4j的项目实践

《springboot集成Deepseek4j的项目实践》本文主要介绍了springboot集成Deepseek4j的项目实践,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价... 目录Deepseek4j快速开始Maven 依js赖基础配置基础使用示例1. 流式返回示例2. 进阶

SpringBoot项目启动报错"找不到或无法加载主类"的解决方法

《SpringBoot项目启动报错找不到或无法加载主类的解决方法》在使用IntelliJIDEA开发基于SpringBoot框架的Java程序时,可能会出现找不到或无法加载主类com.example.... 目录一、问题描述二、排查过程三、解决方案一、问题描述在使用 IntelliJ IDEA 开发基于

SpringBoot项目使用MDC给日志增加唯一标识的实现步骤

《SpringBoot项目使用MDC给日志增加唯一标识的实现步骤》本文介绍了如何在SpringBoot项目中使用MDC(MappedDiagnosticContext)为日志增加唯一标识,以便于日... 目录【Java】SpringBoot项目使用MDC给日志增加唯一标识,方便日志追踪1.日志效果2.实现步

Ubuntu中Nginx虚拟主机设置的项目实践

《Ubuntu中Nginx虚拟主机设置的项目实践》通过配置虚拟主机,可以在同一台服务器上运行多个独立的网站,本文主要介绍了Ubuntu中Nginx虚拟主机设置的项目实践,具有一定的参考价值,感兴趣的可... 目录简介安装 Nginx创建虚拟主机1. 创建网站目录2. 创建默认索引文件3. 配置 Nginx4

SpringBoot项目启动错误:找不到或无法加载主类的几种解决方法

《SpringBoot项目启动错误:找不到或无法加载主类的几种解决方法》本文主要介绍了SpringBoot项目启动错误:找不到或无法加载主类的几种解决方法,具有一定的参考价值,感兴趣的可以了解一下... 目录方法1:更改IDE配置方法2:在Eclipse中清理项目方法3:使用Maven命令行在开发Sprin

Nginx实现高并发的项目实践

《Nginx实现高并发的项目实践》本文主要介绍了Nginx实现高并发的项目实践,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录使用最新稳定版本的Nginx合理配置工作进程(workers)配置工作进程连接数(worker_co

Vue项目的甘特图组件之dhtmlx-gantt使用教程和实现效果展示(推荐)

《Vue项目的甘特图组件之dhtmlx-gantt使用教程和实现效果展示(推荐)》文章介绍了如何使用dhtmlx-gantt组件来实现公司的甘特图需求,并提供了一个简单的Vue组件示例,文章还分享了一... 目录一、首先 npm 安装插件二、创建一个vue组件三、业务页面内 引用自定义组件:四、dhtmlx