基于CPN 的CAN 车载通信协议毕业论文【 CPN Tools建模】

一、核心思路

采用 CPN Tools 建模工具，根据协议规范对基于 CAN 的车载安全通信协议进行基于 CPN 的形式化建模，采用一种有色 Petri 网（CPN）和改进后的 Dolev-Yao 攻击模型相结合的协议模型检测方法，并引入改进后的 Dolev-Yao 攻击者模型对协议进行安全评估并进行模型一致性检验； 
针对协议安全评估后暴露出的各种漏洞及脆弱性，提出一套轻量级的基于CAN 的车载安全通信协议安全性增强设计改进协议，并用形式化评估方法对改进后的协议进行功能性和安全性建模检验。 
针对车辆关键部件的 ECU，提出一套基于身份密码体制的关键部件认证协议，并用形式化评估方法对此协议进行功能性和安全性建模验证。

二、过程与建模

CAN 控制器接收微控制器发出的信息，解析信息并运送给 CAN 收发器[43]。 CAN 收发器将信息运送到总线，也可以从总线接收信息运送给控制器。CAN 数据总线负责传输数据，分为 CAN-high（CAN-H）和 CAN-low（CAN-L）[44]。CAN 控制器通过判断两线上的电平差来推断总线电平，数据发送的一方通过让总线电平产生改变将数据传输给接收的一方。当没有数据发送时，CAN_H 和 CAN_L 的电压为 2.5V，总线电平为“1”（隐性）；当进行数据传输时，CAN_H 为 3.5V， CAN_L 为 1.5V，总线电平为“0”（显性）。  

模型构建

改进消息协议

形式化描述

博主简介：本人擅长数据处理、建模仿真、程序设计、论文写作与指导，项目与课题经验交流。
个人博客：kelaboshi.com。

更多论文材料：

高适应性AODV车载网络通信协议研究
V2X车辆告警信息频谱分配优化方案与车路协同系统车载终端研制
车载网络入侵检测系统研究与设计
基于MLFF模式的ETC传播损耗模型
车载通信系统物理层及MAC层协议的研究与改进
车载通信终端安全加固技术的研究与实现
车联网远程信息服务管理系统的设计与实现
车载自组织网络安全通信协议研究
车载网络系统性能分析与组网部署研究
车载通讯服务器的设计与实现
FlexRay网络通信协议在车载系统中的应用与研究
车载自组织网络中安全和隐私保护通信协议的研究
智能车载终端信息采集和传输的研究与设计
车载多制式系统时间同步算法的研究
基于IEEE 802.11p/1609协议的智能交通无线车载通信协议优化研究
车载自动售货机系统的设计与实现
车载导航终端定位数据处理与应用层通信协议设计
基于GPRS的电动汽车车载通信终端及其通信协议的开发研究
基于无线网络的机车车载LKJ信息传输的研究
高速列车运营环境监测无线传感器网络研究
有轨电车信号系统车地通信的研究
基于802.11p协议的车载通信信道估计技术研究
交通CPS环境下车辆主动式安全通信性能分析与协议优化
基于XMPP的Android车载即时通信系统的设计与实现
高速公路场景下车辆间通信模型的设计与研究
HXD1型机车运行状态在途监控系统的研究与应用
嵌入式车载智能通信调度平台硬件系统的研究
基于OSEK/VDX规范的CAN网络管理
货车载荷测试远程监控系统的研究与实现
基于嵌入式系统的通信控制器设计与开发
基于移动Ad Hoc技术的车载网络研究
基于自组网的车载通信系统MAC协议的研究
车载以太网的高效率网络安全技术研究
面向车载以太网的安全通信技术的研究与实现
智能网联汽车电子电气架构设计与试验研究
基于4G-LTE现代有轨电车车-地通信系统的研究
车联网环境下的交通信息采集与通信技术研究
面向车联网应用的信息发布系统的设计与实现
高速环境下车车通信网络的MAC层接入协议研究
基于智能小车平台的多车协作研究
列车网络控制系统的分析与研究
高密度车载通信环境下的车联网资源分配方案的研究
C-V2X下车载安全数据传输系统研究
基于高精度北斗系统的雾天高速公路ADAS研究
车载FlexRay总线网络的数据压缩与网络安全研究
基于ARM的公交智能预报系统
基于机动车自动化路考系统的车载通信系统研究与开发
基于车载CAN通信协议的ECU测试平台设计与实现