车载网络安全形式化模型与关键技术研究

项目名称： 车载网络安全形式化模型与关键技术研究

项目编号： No.61173154

项目类型： 面上项目

立项/批准年度： 2012

项目学科： 自动化技术、计算机技术

项目作者： 伍前红

作者单位： 北京航空航天大学

项目金额： 61万元

中文摘要： 车载网络是一种新型移动自组织网络，旨在提高交通安全性和交通管理效率。本项目以申请人关于车载网络中车辆通信可信性研究成果（IEEE TVT）为基础，扩展申请人在Eurocrypt'09上提出的可聚合签字技术，将可证明安全理论与方法引入车载网络安全系统的设计与分析，提出车载网络的安全形式化模型，提高车辆报告的可信性，保护车辆隐私，加速车辆安全响应，保障对匿名车辆的数字取证和交通流审计。本项目吸收最新的密码学研究成果，首次提出模糊群签字和全同态签字等新的密码学概念与方法，解决车载网络中车辆隐私保护与车辆通信可信性、事故调查、交通监控之间的冲突，最小化车载网络安全功能对系统安全响应、安全数据传输与存储、安全数据统计分析开销的影响，设计高效的车载网络安全协议与方案，实现车载网络移动终端安全实验系统。 本项目将丰富密码学基础理论，创新车载网络安全保护的方法和技术，有利于提高交通安全性，优化交通管理。

中文关键词： 车载网络；不可伪造性；快速响应；群密钥分配；关键词搜索

英文摘要：

英文关键词： Vehicular network；Unforgeability；Fast response；Group key distribution；Keyword search