声明
第一章 绪论
1.1研究背景及意义
1.2国内外研究现状
1.3研究内容
1.4组织结构
第二章 预备知识
2.1安全协议
2.2车载自组织网络及安全需求
2.2.1网络结构模型
2.2.2安全需求及常见攻击
2.3相关理论
2.3.1椭圆曲线密码算法
2.3.2群数字签名
2.3.3双线性映射
2.3.4 ECDLP与CDH问题
第三章 VANET中批量认证及群密钥分发协议
3.1批量认证阶段
3.1.1系统初始化
3.1.2车辆注册
3.1.3路边单元注册
3.1.4批量认证
3.2群密钥分发阶段
3.2.1群密钥建立
3.2.2车辆进入时群密钥更新
3.2.3车辆离开时群密钥更新
第四章 安全和性能分析
4.1安全分析
4.1.1形式化验证
4.1.2非形式化分析
4.2性能分析
4.2.1 AVISPA模拟实验
4.2.2效率分析
4.2.3通信负担分析
第五章 总结与展望
5.1总结
5.2展望
参考文献
发表论文和参加科研情况说明
致谢
天津大学;