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

相关文章

vite搭建vue3项目的搭建步骤

《vite搭建vue3项目的搭建步骤》本文主要介绍了vite搭建vue3项目的搭建步骤,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学... 目录1.确保Nodejs环境2.使用vite-cli工具3.进入项目安装依赖1.确保Nodejs环境

idea+spring boot创建项目的搭建全过程

《idea+springboot创建项目的搭建全过程》SpringBoot是Spring社区发布的一个开源项目,旨在帮助开发者快速并且更简单的构建项目,:本文主要介绍idea+springb... 目录一.idea四种搭建方式1.Javaidea命名规范2JavaWebTomcat的安装一.明确tomcat

pycharm跑python项目易出错的问题总结

《pycharm跑python项目易出错的问题总结》:本文主要介绍pycharm跑python项目易出错问题的相关资料,当你在PyCharm中运行Python程序时遇到报错,可以按照以下步骤进行排... 1. 一定不要在pycharm终端里面创建环境安装别人的项目子模块等,有可能出现的问题就是你不报错都安装

uni-app小程序项目中实现前端图片压缩实现方式(附详细代码)

《uni-app小程序项目中实现前端图片压缩实现方式(附详细代码)》在uni-app开发中,文件上传和图片处理是很常见的需求,但也经常会遇到各种问题,下面:本文主要介绍uni-app小程序项目中实... 目录方式一:使用<canvas>实现图片压缩(推荐,兼容性好)示例代码(小程序平台):方式二:使用uni

MyCat分库分表的项目实践

《MyCat分库分表的项目实践》分库分表解决大数据量和高并发性能瓶颈,MyCat作为中间件支持分片、读写分离与事务处理,本文就来介绍一下MyCat分库分表的实践,感兴趣的可以了解一下... 目录一、为什么要分库分表?二、分库分表的常见方案三、MyCat简介四、MyCat分库分表深度解析1. 架构原理2. 分

linux查找java项目日志查找报错信息方式

《linux查找java项目日志查找报错信息方式》日志查找定位步骤:进入项目,用tail-f实时跟踪日志,tail-n1000查看末尾1000行,grep搜索关键词或时间,vim内精准查找并高亮定位,... 目录日志查找定位在当前文件里找到报错消息总结日志查找定位1.cd 进入项目2.正常日志 和错误日

在.NET项目中嵌入Python代码的实践指南

《在.NET项目中嵌入Python代码的实践指南》在现代开发中,.NET与Python的协作需求日益增长,从机器学习模型集成到科学计算,从脚本自动化到数据分析,然而,传统的解决方案(如HTTPAPI或... 目录一、CSnakes vs python.NET:为何选择 CSnakes?二、环境准备:从 Py

基于 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