基于车辆自组网中V2V通信模型仿真设计
详细信息 查看官网全文
- 英文论文题名：A Simulation Design Based on V2V Communication in VANET
- 论文作者：赵玉娟 ; 刘榴
- 英文论文作者：Zhao Yujuan ; Liu Liu ; Road Traffic Safety Research Center of the Ministry of Public Security
- 年：2016
- 作者机构：公安部道路交通安全研究中心;
- 论文关键词：车辆自组网 ; V2V通信 ; 形式化分析 ; NS2仿真
- 英文论文关键词：Vehicle Ad Hoc Network(VANET) ; V2V Communication ; Formal Analysis ; NS2
- 会议召开时间：2016-11-16
- 会议录名称：第十一届中国智能交通年会大会论文集
- 语种：中文
- 分类号：TN929.5;U495
- 学会代码：ZJTX
- 会议名称：第十一届中国智能交通年会
- 会议地点：中国重庆
- 主办单位：中国智能交通协会
- 学会名称：中国智能交通协会
- 页数：8
- 文件大小：1157k
- 原文格式：D
- 会议级别：全国
摘要
为减少车辆自组网中隐私保护过程的通信延迟,提高认证效率,论文在形式化描述车辆之间的通信(V2V)的基础上,设计了一个V2V通信协议,利用Applied Pi演算证明了它的前向安全性和不可跟踪性,并联合Vanet Mobi Sim和NS2平台仿真验证了V2V通信过程的性能,比较了在不同速度下,V2V通信与V2I通信的认证时间与认证效率。
In order to reduce communication latency and improve efficiency certification in privacy protection process of VANET,this paper describe a formal analysis of V2V(Vehicle to Vehicle)communicationwith applied pi calculus,design a simple protocol for the process and prove it meet forward privacy and intractability.And V2 V communicationperformances aresimulated on the platform combining Vanet Mobi Simand NS2.The authentication time and efficiency are comparedbetween V2 V and V2 I communicationat different speeds.
In order to reduce communication latency and improve efficiency certification in privacy protection process of VANET,this paper describe a formal analysis of V2V(Vehicle to Vehicle)communicationwith applied pi calculus,design a simple protocol for the process and prove it meet forward privacy and intractability.And V2 V communicationperformances aresimulated on the platform combining Vanet Mobi Simand NS2.The authentication time and efficiency are comparedbetween V2 V and V2 I communicationat different speeds.
引文
[1]Bill H.What are vehicle-to-vehicle communications and how do they work[J].Extreme Tech.com,2014.
[2]Abraham AR,David MR,Cesar VR.Geometrical channel model for vehicle-to-vehicle systems[J].AEUE-International Journal of Electronics and Communications,2014.
[3]周玮.车辆对车辆无线衰落信道建模与仿真研究[D].湖北:武汉理工大学,2012.
[4]杨涛.基于代理签名的车辆自组网的隐私保护研究[D].北京:北京大学,2013.
[5]鲁忠辉.基于Vanetmobisim/NS2的车载自组网的研究与仿真[D].湖北:武汉理工大学,2010.
[6]郑华荣,高嵩.基于Vanet Mobi Sim/NS-2的车辆换道模型仿真[J].交通信息与安全,2012,30(4):112-115.
[7]LU R X,LIN X D,LIANG X H.et al.A Dynamic Privacy-Preserving Key Management Scheme for Location Based Services in VANETs[C].IEEE transactions on intelligent transportation systems,2011.
[8]DAHL M,DELAUNE S,STEEL G.Formal analysis of privacy for vehicular mix-zones[A].Proceedings of the 15th European Sympo-sium on Research in Computer Security[C].2010,55-70.
[9]BRUSO M,CHATZIKOKOLAKIS K,HARTOG J.Formal verification of Privacy for RFID Systems[C].In Proc.23rdIEEE Computer Security Foundations Symposium(CSF),2010,75-88.
[10]FIORE M.Vehicular mobility simulation for VANETs in Simulation Symposium[C].ANSS 2007-40th Annual.2007:4-6.
[11]徐雷鸣,庞博,赵耀.NS-2与网络模拟[M].北京:人民邮电出版社,2003.
[12]张国强.城市环境下车载Ad Hoc网络路由协议研究[D].吉林:吉林大学,2010.
[13]赵玉娟,王大珊,王松浩.基于信息交互隐私性的车辆自组网安全框架研究[C].第九届中国智能交通年会大会论文集,2014.
[2]Abraham AR,David MR,Cesar VR.Geometrical channel model for vehicle-to-vehicle systems[J].AEUE-International Journal of Electronics and Communications,2014.
[3]周玮.车辆对车辆无线衰落信道建模与仿真研究[D].湖北:武汉理工大学,2012.
[4]杨涛.基于代理签名的车辆自组网的隐私保护研究[D].北京:北京大学,2013.
[5]鲁忠辉.基于Vanetmobisim/NS2的车载自组网的研究与仿真[D].湖北:武汉理工大学,2010.
[6]郑华荣,高嵩.基于Vanet Mobi Sim/NS-2的车辆换道模型仿真[J].交通信息与安全,2012,30(4):112-115.
[7]LU R X,LIN X D,LIANG X H.et al.A Dynamic Privacy-Preserving Key Management Scheme for Location Based Services in VANETs[C].IEEE transactions on intelligent transportation systems,2011.
[8]DAHL M,DELAUNE S,STEEL G.Formal analysis of privacy for vehicular mix-zones[A].Proceedings of the 15th European Sympo-sium on Research in Computer Security[C].2010,55-70.
[9]BRUSO M,CHATZIKOKOLAKIS K,HARTOG J.Formal verification of Privacy for RFID Systems[C].In Proc.23rdIEEE Computer Security Foundations Symposium(CSF),2010,75-88.
[10]FIORE M.Vehicular mobility simulation for VANETs in Simulation Symposium[C].ANSS 2007-40th Annual.2007:4-6.
[11]徐雷鸣,庞博,赵耀.NS-2与网络模拟[M].北京:人民邮电出版社,2003.
[12]张国强.城市环境下车载Ad Hoc网络路由协议研究[D].吉林:吉林大学,2010.
[13]赵玉娟,王大珊,王松浩.基于信息交互隐私性的车辆自组网安全框架研究[C].第九届中国智能交通年会大会论文集,2014.