登陆
注册
试看3分钟，观看完整版视频请购买课程
×
基于形式化方法的智能网联汽车网络安全协议验证
有301人正在学习
上海控安
2022-11-08 17:26
1.智能网联汽车背景
2.形式化方法概貌
3.网络安全协议形式化验证
4.面向协议的自动/辅助建模技术研究
5.基于模型检测和定理证明的网络安全协议验证
-
¥9.90¥19.90
蒋洪剑
蒋洪剑，华东师范大学硕士研究生，信息安全技术专家。主要研究方向为形式化方法、安全协议、带参协议验证、模型检测、定理证明等。具有多年软件工程理论研究经验，从事5G通信网络安全协议验证研究、硬件带参协议验证设计，熟悉形式化方法、自动机理论、数理逻辑等，曾在中国科学院软件所国家重点实验室参与研发研究工作。已发表网络安全协议、计算机理论相关核心论文多篇，CCF C类会议三篇，以及一项国家发明专利。
