汽车网络信息安全技术之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

相关文章

最新版IDEA配置 Tomcat的详细过程

《最新版IDEA配置Tomcat的详细过程》本文介绍如何在IDEA中配置Tomcat服务器,并创建Web项目,首先检查Tomcat是否安装完成,然后在IDEA中创建Web项目并添加Web结构,接着,... 目录配置tomcat第一步,先给项目添加Web结构查看端口号配置tomcat    先检查自己的to

使用Nginx来共享文件的详细教程

《使用Nginx来共享文件的详细教程》有时我们想共享电脑上的某些文件,一个比较方便的做法是,开一个HTTP服务,指向文件所在的目录,这次我们用nginx来实现这个需求,本文将通过代码示例一步步教你使用... 在本教程中,我们将向您展示如何使用开源 Web 服务器 Nginx 设置文件共享服务器步骤 0 —

SpringBoot集成SOL链的详细过程

《SpringBoot集成SOL链的详细过程》Solanaj是一个用于与Solana区块链交互的Java库,它为Java开发者提供了一套功能丰富的API,使得在Java环境中可以轻松构建与Solana... 目录一、什么是solanaj?二、Pom依赖三、主要类3.1 RpcClient3.2 Public

手把手教你idea中创建一个javaweb(webapp)项目详细图文教程

《手把手教你idea中创建一个javaweb(webapp)项目详细图文教程》:本文主要介绍如何使用IntelliJIDEA创建一个Maven项目,并配置Tomcat服务器进行运行,过程包括创建... 1.启动idea2.创建项目模板点击项目-新建项目-选择maven,显示如下页面输入项目名称,选择

Python基于火山引擎豆包大模型搭建QQ机器人详细教程(2024年最新)

《Python基于火山引擎豆包大模型搭建QQ机器人详细教程(2024年最新)》:本文主要介绍Python基于火山引擎豆包大模型搭建QQ机器人详细的相关资料,包括开通模型、配置APIKEY鉴权和SD... 目录豆包大模型概述开通模型付费安装 SDK 环境配置 API KEY 鉴权Ark 模型接口Prompt

在 VSCode 中配置 C++ 开发环境的详细教程

《在VSCode中配置C++开发环境的详细教程》本文详细介绍了如何在VisualStudioCode(VSCode)中配置C++开发环境,包括安装必要的工具、配置编译器、设置调试环境等步骤,通... 目录如何在 VSCode 中配置 C++ 开发环境:详细教程1. 什么是 VSCode?2. 安装 VSCo

Spring Boot 中整合 MyBatis-Plus详细步骤(最新推荐)

《SpringBoot中整合MyBatis-Plus详细步骤(最新推荐)》本文详细介绍了如何在SpringBoot项目中整合MyBatis-Plus,包括整合步骤、基本CRUD操作、分页查询、批... 目录一、整合步骤1. 创建 Spring Boot 项目2. 配置项目依赖3. 配置数据源4. 创建实体类

python与QT联合的详细步骤记录

《python与QT联合的详细步骤记录》:本文主要介绍python与QT联合的详细步骤,文章还展示了如何在Python中调用QT的.ui文件来实现GUI界面,并介绍了多窗口的应用,文中通过代码介绍... 目录一、文章简介二、安装pyqt5三、GUI页面设计四、python的使用python文件创建pytho

SpringBoot整合InfluxDB的详细过程

《SpringBoot整合InfluxDB的详细过程》InfluxDB是一个开源的时间序列数据库,由Go语言编写,适用于存储和查询按时间顺序产生的数据,它具有高效的数据存储和查询机制,支持高并发写入和... 目录一、简单介绍InfluxDB是什么?1、主要特点2、应用场景二、使用步骤1、集成原生的Influ

SpringBoot实现websocket服务端及客户端的详细过程

《SpringBoot实现websocket服务端及客户端的详细过程》文章介绍了WebSocket通信过程、服务端和客户端的实现,以及可能遇到的问题及解决方案,感兴趣的朋友一起看看吧... 目录一、WebSocket通信过程二、服务端实现1.pom文件添加依赖2.启用Springboot对WebSocket