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

相关文章

SQL Server数据库死锁处理超详细攻略

《SQLServer数据库死锁处理超详细攻略》SQLServer作为主流数据库管理系统,在高并发场景下可能面临死锁问题,影响系统性能和稳定性,这篇文章主要给大家介绍了关于SQLServer数据库死... 目录一、引言二、查询 Sqlserver 中造成死锁的 SPID三、用内置函数查询执行信息1. sp_w

Python UV安装、升级、卸载详细步骤记录

《PythonUV安装、升级、卸载详细步骤记录》:本文主要介绍PythonUV安装、升级、卸载的详细步骤,uv是Astral推出的下一代Python包与项目管理器,主打单一可执行文件、极致性能... 目录安装检查升级设置自动补全卸载UV 命令总结 官方文档详见:https://docs.astral.sh/

Python包管理工具核心指令uvx举例详细解析

《Python包管理工具核心指令uvx举例详细解析》:本文主要介绍Python包管理工具核心指令uvx的相关资料,uvx是uv工具链中用于临时运行Python命令行工具的高效执行器,依托Rust实... 目录一、uvx 的定位与核心功能二、uvx 的典型应用场景三、uvx 与传统工具对比四、uvx 的技术实

canal实现mysql数据同步的详细过程

《canal实现mysql数据同步的详细过程》:本文主要介绍canal实现mysql数据同步的详细过程,本文通过实例图文相结合给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的... 目录1、canal下载2、mysql同步用户创建和授权3、canal admin安装和启动4、canal

SpringBoot集成LiteFlow实现轻量级工作流引擎的详细过程

《SpringBoot集成LiteFlow实现轻量级工作流引擎的详细过程》LiteFlow是一款专注于逻辑驱动流程编排的轻量级框架,它以组件化方式快速构建和执行业务流程,有效解耦复杂业务逻辑,下面给大... 目录一、基础概念1.1 组件(Component)1.2 规则(Rule)1.3 上下文(Conte

Springboot3+将ID转为JSON字符串的详细配置方案

《Springboot3+将ID转为JSON字符串的详细配置方案》:本文主要介绍纯后端实现Long/BigIntegerID转为JSON字符串的详细配置方案,s基于SpringBoot3+和Spr... 目录1. 添加依赖2. 全局 Jackson 配置3. 精准控制(可选)4. OpenAPI (Spri

Go学习记录之runtime包深入解析

《Go学习记录之runtime包深入解析》Go语言runtime包管理运行时环境,涵盖goroutine调度、内存分配、垃圾回收、类型信息等核心功能,:本文主要介绍Go学习记录之runtime包的... 目录前言:一、runtime包内容学习1、作用:① Goroutine和并发控制:② 垃圾回收:③ 栈和

MySQL复杂SQL之多表联查/子查询详细介绍(最新整理)

《MySQL复杂SQL之多表联查/子查询详细介绍(最新整理)》掌握多表联查(INNERJOIN,LEFTJOIN,RIGHTJOIN,FULLJOIN)和子查询(标量、列、行、表子查询、相关/非相关、... 目录第一部分:多表联查 (JOIN Operations)1. 连接的类型 (JOIN Types)

SpringBoot整合Apache Flink的详细指南

《SpringBoot整合ApacheFlink的详细指南》这篇文章主要为大家详细介绍了SpringBoot整合ApacheFlink的详细过程,涵盖环境准备,依赖配置,代码实现及运行步骤,感兴趣的... 目录1. 背景与目标2. 环境准备2.1 开发工具2.2 技术版本3. 创建 Spring Boot

使用Python实现base64字符串与图片互转的详细步骤

《使用Python实现base64字符串与图片互转的详细步骤》要将一个Base64编码的字符串转换为图片文件并保存下来,可以使用Python的base64模块来实现,这一过程包括解码Base64字符串... 目录1. 图片编码为 Base64 字符串2. Base64 字符串解码为图片文件3. 示例使用注意