汽车网络信息安全技术之AUTOSAR SecOC,非常详细的学习笔记,由浅入深

本文主要是介绍汽车网络信息安全技术之AUTOSAR SecOC,非常详细的学习笔记,由浅入深,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

目录

汽车网络信息安全技术

AUTOSAR 中SecOC与其他模块的交互

详细SecOC通讯过程图

安全报文介绍

新鲜度值

新鲜度值的构成:基于同步的复合Counter

新鲜度值的管理

新鲜度值中每个计数器详解

新鲜度值的构建

发送节点:

接收节点:

1. Latest value = Received value

2. Latest value - 1 = Received value

3. Latest value + 1 = Received value

接受节点新鲜度值构造总结

FVM与SecOC的交互关系

AUTOSAR中的安全解决方案

Secured IPdu的创建

IPdu的验证

附录

FVM 接口

SecOC适配接口

安全报文发送时序图

安全报文的接收时序图

新鲜值处理时序图


汽车网络信息安全技术

下图很好的展示了目前我们智能汽车上的一些主流的网络安全的技术。我在后面会写一些学习笔记,一一讲一下这些网络安全技术。

今天我们主要关注一下 SecOC。

AUTOSAR 中SecOC与其他模块的交互

SecOC是在AUTOSAR软件包中添加的信息安全组件,该特性增加了加解密运算,密钥管理,新鲜值管理和分发等一系列功能和新要求。SecOC模块在PDU级别上为关键数据提供有效可行的身份验证机制。

Figure 1 展示了SecOC模块在Autosar 里面和其他模块的交互:
PduR负责将进出安全相关的I-PDU路由到SecOC模块。
SecOC模块随后添加安全相关信息,并将结果以I-PDU的形式传播回PduR。
然后,PduR负责进一步路由I-PDU。
此外,SecOC模块利用CSM(Crypto Service Manager)提供的加密服务并与Rte交互以允许密钥和计数器管理。
Note:CSM具体怎么调用底层加密模块,提供加密服务,可以看我另外一篇文章笔记,有详细解释及代码展示: Autosar CyberSecurity之CSM, CryIf,Crypto Driver学习笔记,由浅入深详细,理论讲解软件配置_爱思考的发菜_汽车网络信息安全的博客-CSDN博客
或者
Autosar CyberSecurity之HSM和CSM, CryIf,Crypto Driver之间的关系,科普分享,理论讲解软件配置_爱思考的发菜_汽车网络信息安全的博客-CSDN博客

详细SecOC通讯过程图

先来看一张整个SecOC通信加密的流程图,后面会详细解释:

从这张图中,我们可以总结出SecOC功能的核心就是“安全报文”:

1. ECU发送报文时需要:构建出“安全报文”,然后发送出去

2. ECU接收报文时需要:解析“安全报文”,认证接收的报文是安全可信任的,然后再接收做进一步处理

安全报文介绍

那我们就来看一下安全报文由哪些部分组成:

安全报文由一下组成:

报头(header):可用来指明安全PDU的长度

真实的I-PDU(Authentic I-PDU):需要被保护的数据

新鲜度值(Freshness Value)

身份验证器(Authenticator):通常使用消息认证码,即Message Authentication Code,简称MAC

由于SecOC机制需要占用总线带宽,因此一般适用于CANFD通讯网络。而在实际使用中,新鲜度值和MAC可能会使用较多长度的数据来提高安全性,但这又会消耗大量的带宽等资源,所以常使用截取的方式做平衡处理。

新鲜度值和MAC都按照完整的值来生成,但是在发送和认证的时候只会截取一部分。

由上面的分析可以看出,除了真实报文外,组成“安全报文”比较重要的两部分就是:

1. 新鲜度值(Freshness Value)

2. 身份验证器(Authenticator)

新鲜度值

在Autosar SecOC中,给出了多种新鲜度值管理方案:

  1. 基于Counter的递增,即包含了原有方案的机制

  2. 基于全局时间戳,源于时间戳的唯一性

  3. 基于同步的复合Counter

这里我们主要谈一下第三种方案。

新鲜度值的构成:基于同步的复合Counter

在此方案中,完整的新鲜度值包括

同步计数器(Trip Counter: TripCnt)、 

重置计数器(Reset Counter: RstCnt)、

消息计数器(Message Counter: MsgCnt):消息计数器又分为高值(MsgCntUpper)和低值(MsgCntLower)

重置标志值(Reset Flag)

我们上文提到,为了降低带宽等资源的消耗,构建的“安全报文”中不会包括完整的新鲜度值和MAC,而是会截取一部分。

从上图Figure21 可看出,真正在报文中新鲜度值只包含消息计数器的低值(MsgCntLower)和重置标志值(Reset Flag)。如下图所示:

而同步计数器和重置计数器会由同步报文发出。如下图所示:

看到这里,我们回顾一下,我们前面讲了两种报文:

一种是安全报文:真实报文+裁剪过的新鲜度值+裁剪过的MAC值

安全报文的目的:报文真实性认证保护,防止重放攻击

一种是同步报文:新鲜度值中的Trip Conter+新鲜度值中的Reset Conter+MAC值

同步报文的目的:节点之间的新鲜度值计数器,可能会由于各种原因存在一定的差异,误差,这种时候就需要同步报文,来帮助节点新鲜度值计数器的重新构建,进行节点之间新鲜度值的同步处理。

具体新鲜度值怎么同步,怎么构建,接下来会讲到。

新鲜度值的管理

采用一主多从通讯模式实现新鲜值同步报文收发,如下图所示。

主节点:发送新鲜值同步报文的ECU为主节点,在车载网络中主节点一般是Gateway。

从节点:接收新鲜值同步报文的ECU为从节点。

Tips:不管主节点还是从节点,都可以作为发送节点或者接受节点。

新鲜度值中每个计数器详解

MsgCnt达到最大值:维持最大值

RstCnt达到最大值:维持最大值

TripCnt达到最大值:重置

TripCounter和ResetCounter由主ECU发送,其他ECU接收,保持此值。

MessageCounter每个ECU发送的一次I-PDU加1,当ResetCounter变化时,MessageCounter变为初始值0,到达最大值时保持最大值发送ResetFlag与ResetCounter完成同步,并保持ResetCounter的低位。

上图讲解:

Master ECU 主节点:

通过周期性发送同步报文,给从节点分发TripCnt, RstCnt。

TripCnt: 每次上电+1

RstCnt: 周期性+1,TripCnt更新时, RstCnt重置

Slave ECU从节点:

TripCnt: 根据同步报文更新

RstCnt: 根据同步报文更新

MsgCnt Lower: 每发送一个报文,+1

MsgCnt Upper: MsgCnt Lower溢出出时,+1

Reset Flag:RstCnt的低2位

新鲜度值的构建

从前文可知,安全报文里的新鲜度值是被裁剪过的,那么怎么才能得到完整的新鲜度值呢?

Tips:为什么要得到完整的新鲜度值?

          因为安全报文中的MAC值的计算是要用到完整的新鲜度值的

首先我们来了解一下下面几个名词:

1. Latest value:最新的值,来自于主节点的同步消息,包括: TripCnt, RstCnt

2. Previous value:先前的值,成功发送和成功接收安全报文时维护的新鲜度值

3. Receive value:接收的安全报文的值,包括: MsgCnt Lower, Reset Flag

发送节点:

比较TripReset,判断是否重置Message Counter

接收节点:

先比较ResetFlag,判断同步消息和接收数据的关系:

1. Latest value = Received value

    同一个RstCycle正常接收数据

2. Latest value - 1 = Received value

    RstCycle临界点,发送方还未更新

    发送方丢失一次同步

3. Latest value + 1 = Received value

    RstCycle临界点,接收方还未更新

     接收方丢失一次同步

4. Latest value - 2 = Received value

    发送方丢失两次同步

5. Latest value + 2 = Received value

    接收方丢失两次同步

1. Latest value = Received value

1. 比较TripReset,判断是否需要更新Trip,Reset

2. 比较MsgCnt Lower,判断MsgCnt Upper是否存在进位

2. Latest value - 1 = Received value

1. 比较TripReset,判断是否需要更新Trip,Reset(发送节点使用前一个Trip,Reset)

2. 比较MsgCnt Lower,判断MsgCnt Upper是否存在进位(发送节点使用前一个Trip,Reset)

3. Latest value + 1 = Received value

1. 比较TripReset,判断是否需要更新Trip,Reset(接受节点使用前一个Trip,Reset)

2. 比较MsgCnt Lower,判断MsgCnt Upper是否存在进位(接受节点使用前一个Trip,Reset)

接受节点新鲜度值构造总结

第四种和第五种情况类似第二种和第三种情况,这边就不再赘述。这边对接受节点的新鲜度值构造做一个总结:

1. 比较接受到的Reset Flag和最新的Reset Flag,获得差值X(哪个节点存在同步消息丢失)

2. 代入X并比较最新的TripRest和先前的TripReset,判断是否更新Trip,Reset

3. 比较接受的MsgCnt Lower和先前的MsgCnt Lower,判断是否进位MsgCnt Upper

FVM与SecOC的交互关系

FVM并不是标准的AUTOSAR组件,其作为复杂设备驱动,与SecOC交互图如下:

目标ECU应该提供以下AUTOSAR基础软件:

  1. System Service(含OS/EcuM/ComM)

  2. Communication(含Com/SecOC/PduR)

  3. 秘钥算法模块(CSM/CryIf/Crypto)

  4. Memory(含NVM/MemIf/Fee)

  5. Diagnostics(含DCM)

  6. MACL(含MCU)

AUTOSAR中的安全解决方案

Secured IPdu的创建

创建一个Secured IPdu分为以下六步:

  • 准备Secured IPdu,分配所需buffer

  • 获取待构建数据,也即Data ID,Authentic IPdu还有新鲜值

  • 生成验证码

  • 构建Secured IPdu

  • 增加新鲜值

  • 发送Secured IPdu

IPdu的验证

Secured IPdu的验证也分为六步:

  • 解析Authentic IPdu,新鲜值和验证码

  • 从新鲜值管理器获取新鲜值

  • 获取待验证数据

  • 检查验证信息

  • 给新鲜值管理器发送确认

  • 将Authentic IPdu传给上层

附录

FVM 接口

Std_ReturnType Fvm_SetTripResetSyncMsg(uint16 syncId,uint32 tripcnt, uint32 resetCnt); Std_ReturnType Fvm_GetTripResetSyncMsg(uint16 syncId, uint32* tripCnt, uint32* resetCnt); void Fvm_ResetTripCounter (void); uint32 Fvm_ IncreaseTripCounter (uint16 syncId); void Fvm_Init(const Fvm_RWFunc * func); typedef Std_ReturnType (*Fvm_WriteTripFunc) (uint16 tripId,uint32 tripCounter); typedef Std_ReturnType (*Fvm_ReadTripFunc) (uint16 tripId,uint32 *tripCounter); uint32 Fvm_GetRxMsgCnt(uint16 freshnessValueID);

SecOC适配接口

Std_ReturnType SecOC_GetRxFreshness (uint16 SecOCFreshnessValueID,const uint8* SecOCTruncatedFreshnessValue,uint32 SecOCTruncatedFreshnessValueLength,uint16 SecOCAuthVerifyAttempts,uint8* SecOCFreshnessValue,uint32* SecOCFreshnessValueLength); Std_ReturnType SecOC_GetTxFreshness (uint16 SecOCFreshnessValueID,uint8* SecOCFreshnessValue,uint32* SecOCFreshnessValueLength); Std_ReturnType SecOC_SPduTxConfirmation(uint16 SecOCFreshnessValueID); void Fvm_VerificationStatusCallout (SecOC_VerificationStatusType verificationStatus);

安全报文发送时序图

安全报文的接收时序图

 

新鲜值处理时序图

这篇关于汽车网络信息安全技术之AUTOSAR SecOC,非常详细的学习笔记,由浅入深的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

Python对接支付宝支付之使用AliPay实现的详细操作指南

《Python对接支付宝支付之使用AliPay实现的详细操作指南》支付宝没有提供PythonSDK,但是强大的github就有提供python-alipay-sdk,封装里很多复杂操作,使用这个我们就... 目录一、引言二、准备工作2.1 支付宝开放平台入驻与应用创建2.2 密钥生成与配置2.3 安装ali

springboot自定义注解RateLimiter限流注解技术文档详解

《springboot自定义注解RateLimiter限流注解技术文档详解》文章介绍了限流技术的概念、作用及实现方式,通过SpringAOP拦截方法、缓存存储计数器,结合注解、枚举、异常类等核心组件,... 目录什么是限流系统架构核心组件详解1. 限流注解 (@RateLimiter)2. 限流类型枚举 (

2025版mysql8.0.41 winx64 手动安装详细教程

《2025版mysql8.0.41winx64手动安装详细教程》本文指导Windows系统下MySQL安装配置,包含解压、设置环境变量、my.ini配置、初始化密码获取、服务安装与手动启动等步骤,... 目录一、下载安装包二、配置环境变量三、安装配置四、启动 mysql 服务,修改密码一、下载安装包安装地

在macOS上安装jenv管理JDK版本的详细步骤

《在macOS上安装jenv管理JDK版本的详细步骤》jEnv是一个命令行工具,正如它的官网所宣称的那样,它是来让你忘记怎么配置JAVA_HOME环境变量的神队友,:本文主要介绍在macOS上安装... 目录前言安装 jenv添加 JDK 版本到 jenv切换 JDK 版本总结前言China编程在开发 Java

Spring Boot Actuator应用监控与管理的详细步骤

《SpringBootActuator应用监控与管理的详细步骤》SpringBootActuator是SpringBoot的监控工具,提供健康检查、性能指标、日志管理等核心功能,支持自定义和扩展端... 目录一、 Spring Boot Actuator 概述二、 集成 Spring Boot Actuat

Python实现PDF按页分割的技术指南

《Python实现PDF按页分割的技术指南》PDF文件处理是日常工作中的常见需求,特别是当我们需要将大型PDF文档拆分为多个部分时,下面我们就来看看如何使用Python创建一个灵活的PDF分割工具吧... 目录需求分析技术方案工具选择安装依赖完整代码实现使用说明基本用法示例命令输出示例技术亮点实际应用场景扩

如何在Java Spring实现异步执行(详细篇)

《如何在JavaSpring实现异步执行(详细篇)》Spring框架通过@Async、Executor等实现异步执行,提升系统性能与响应速度,支持自定义线程池管理并发,本文给大家介绍如何在Sprin... 目录前言1. 使用 @Async 实现异步执行1.1 启用异步执行支持1.2 创建异步方法1.3 调用

Spring Boot 与微服务入门实战详细总结

《SpringBoot与微服务入门实战详细总结》本文讲解SpringBoot框架的核心特性如快速构建、自动配置、零XML与微服务架构的定义、演进及优缺点,涵盖开发环境准备和HelloWorld实战... 目录一、Spring Boot 核心概述二、微服务架构详解1. 微服务的定义与演进2. 微服务的优缺点三

SpringBoot改造MCP服务器的详细说明(StreamableHTTP 类型)

《SpringBoot改造MCP服务器的详细说明(StreamableHTTP类型)》本文介绍了SpringBoot如何实现MCPStreamableHTTP服务器,并且使用CherryStudio... 目录SpringBoot改造MCP服务器(StreamableHTTP)1 项目说明2 使用说明2.1

MySQL进行数据库审计的详细步骤和示例代码

《MySQL进行数据库审计的详细步骤和示例代码》数据库审计通过触发器、内置功能及第三方工具记录和监控数据库活动,确保安全、完整与合规,Java代码实现自动化日志记录,整合分析系统提升监控效率,本文给大... 目录一、数据库审计的基本概念二、使用触发器进行数据库审计1. 创建审计表2. 创建触发器三、Java