零信任环境下车联网信息安全传输的形式化建模与分析方法

本书以零信任环境下车联网信息传输过程中的安全机制为主题，在近几年课题组的研究基础之上，针对车联网运行环境复杂、多变，以及传感器设备数量庞大等特征导致的人、设备、应用等不存在任何潜在信任的问题，基于"永不信任、持续验证"的实际需求进行了详细的分析，以零信任环境为具体特性，对车联网信息系统的需求模型、车联网数据信息的传输过程、离散环境下车联网系统的安全性传输机制进行形式化建模与分析，并进行模型抽象与重组。

本书面向广大从事车联网、自动驾驶、信息安全等领域的研究人员，亦可作为高等院校计算机科学与技术、交通运输工程、信息安全等相关领域专业本科生和研究生参考用书。

“零信任：群体智能可信决策与安全控制丛书”序

前言

第1章 绪论 1

1.1 引言 1

1.2 车联网信息系统建模研究现状 3

1.3 零信任环境下车联网信息系统建模的需求分析 5

1.4 形式化方法应用前景 7

1.5 本章小结 9

参考文献 10

第2章 前期预备知识介绍 15

2.1 基于零信任架构的车联网系统机制分析 15

2.2 基于Petri 网的零信任车联网系统建模 17

2.3 零信任车联网系统的扩展Petri 网 22

2.3.1 时间Petri网 22

2.3.2 随机Petri网 25

2.4 零信任车联网系统建模的Z 语言表征 26

2.5 零信任车联网系统形式化模型的PZN 表征 30

2.6 基于Actor-Critic 算法的强化学习 37

2.7 形式化建模工具介绍 39

……