车载自组网中可证明安全的认证方案研究

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:advancewang
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在无线通信技术不断发展的今天,车载自组织网络(Vehicle Ad Hoc Networks,VANETs)凭借其智能、便捷的通信方式已经受到汽车行业、通信行业等各个领域的关注。然而,在享受VANETs提供的各种智能服务的同时,VANETs也面临着诸多安全威胁。例如,攻击者或未经认证的不合法实体可以通过控制通信链路,从而更改、删除和重放实体间传输的消息,如果消息接收方对这些错误消息进行处理并给予响应,消息接收方就会被这些错误消息误导。另外,攻击者也可以通过追踪VANETs中车辆的广播消息和位置信息,从而分析、计算出车辆的真实身份,故需要对车辆的真实身份进行匿名化保护;同时,恶意实体的真实身份必须能被追溯并揭露。身份验证是一种保护VANETs免受网络中恶意实体攻击的机制,通过在授予车辆访问网络的能力之前验证其身份的合法性来防止不合法的车辆进入VANETs,被认为是防范VANETs遭受攻击的第一道防线;消息认证可以区分虚假消息和真实消息,从而防止虚假消息传达的内容对网络中其他实体的误导。因此,研究安全且具有隐私保护的认证方案对确保VANETs中的安全通信具有很好的理论价值。本文在研究现有VANETs中认证机制的基础上,提出了两个VANETs中的认证方案,在满足VANETs中安全和隐私要求的同时实现高效的认证。主要研究内容有:(1)提出了一个VANETs中不使用双线性对的基于身份的签名批认证方案(Identity-based Pairing-free Signature Batch Authentication Scheme,ID-based PSBA)。方案中车辆的防篡改设备(Tamper-Proof Device,TPD)里预先不装载系统主密钥,减弱了系统安全性对车辆的TPD的依赖;在认证过程中,提出批认证算法来提高认证效率,并结合批认证和二分查找算法提出了批认证过程中的无效消息查找算法,减少对有效消息的丢失率。(2)提出了一个VANETs中具有隐私保护的无证书批认证方案(Certificateless Batch Authentication Scheme with Privacy-Preserving,CL-BAP),既解决了传统基于身份的认证方案中车辆的密钥需要托管给可信第三方的问题,又没有基于公钥密码基础设施(Public Key Infrastructure,PKI)的认证方案中需要额外的公钥证书来确保用户公钥可靠性的证书开销问题;方案的签名构造不使用计算开销大的对运算,减少了通信和计算开销;在随机预言模型(Random Oracle,RO)中证明了该方案中合法用户的身份和签名是不可伪造的。最后,基于椭圆曲线上求解离散对数问题(Discrete Logarithm Problem,DLP)的困难性假设,证明了提出的ID-based PSBA方案和CL-BAP方案在RO模型中可以抵抗自适应选择消息和自适应选择身份攻击,从而可以抵抗假冒攻击和更改攻击。接着,对本文提出的两个方案进行了性能仿真,并与现有的其他方案进行了性能对比。结果表明,本文提出的两个方案在满足VANETs中安全需求的同时,也具有较低的通信开销和计算开销,适用于要求认证时延低、节点计算能力受限的VANETs环境。
其他文献
在企业管理的各项工作之中,对员工薪酬的管理是企业管理活动中十分重要的项目,通常情况下,职位越高所对应的薪酬也就越高;传统薪酬体系中,员工想要提升自己的薪酬只能通过升职的方式,但是由于企业内部岗位有限,员工想要升级要受到公司内部岗位空缺的制约。在这种薪酬体系下,也就意味着如果一个员工在企业中所担任的职位越高,那么他所获得的工资、奖金、福利等等就会越多;相反,职位月低的员工获得的工资收入等就越低,员工
保证通信系统安全性的关键不仅取决于系统所使用密码算法的强度,而且还与使用的密码协议息息相关。在一些复杂的分布式网络环境中,如果密码协议无法提前预见所有可能的攻击很容易产生巨大的安全隐患,形式化方法就是证明密码协议安全性最有力的方法之一。事件逻辑隶属定理证明方法,是形式化方法的一种,基于消息自动机设计并对可能的协议动作都进行定义,通过分配给协议交互过程中的密钥,挑战数和消息不同的类型,为协议的操作提
随着声纳探测技术及水下武器系统的快速发展,目前对水下复杂形体目标回波特性预测的准确性及速度要求也越来越高。对存在多次反射的复杂形体目标进行回波特性预报时,传统板块元方法存在计算精度不高,若对大量板块进行遮挡判断还存在耗时大的问题。本文基于计算电磁学领域中的弹跳射线(SBR)方法,将几何光学法(GO)与板块元散射声场积分算法相结合应用在水下目标的声散射特性研究中,提出了基于多GPU平台的高性能并行加
近年来,国家新常态的经济格局打破了人们对未来的期望。为了刺激疲软的经济,各国学者开始寻找下一个经济增长的引擎。以往政府和学者重点关注的是通过各种宏观经济手段来调控,却忽视了作为经济内生驱动力的企业家精神。因此,积极探索企业家精神相关研究,科学认识企业家精神在经济发展中所发挥的作用,以及培育和提升区域企业家精神具有很强的现实意义。由于区域资源和文化的不同导致了企业家精神存在较大的差异。近年来,武汉经
随着外部环境的不确定性加剧,越来越多的理论和实践发现,以自我为中心、傲慢和自恋的领导者会导致企业声誉受损甚至出现破产,而那些坦承自身不足、欣赏他人优点、尊重他人并虚心求教的谦逊型领导者为企业持续发展获得了源源不断的动力,因此,谦逊型领导成为学术界和商业界的热点话题。谦逊型领导作为一种新兴的领导方式,其研究仍处于起步阶段。纵观谦逊型领导的相关研究,该领域呈现出“三多三少”的特征,即谦逊型领导的后果研
搅拌头是搅拌摩擦焊工艺和设备的重要组成部分,是决定焊缝质量的重要因素。目前多采用搅拌头结构设计与焊接实验相结合的试错法开展搅拌头的设计研究,不但缺乏系统性和理论支持而且人力物力浪费较大。鉴于此,本文基于理论推导,科学构建了多平面搅拌头热源模型,可对多平面搅拌头焊接过程中温度场、流场进行有效数值模拟,并通过数值模拟与焊接实验相结合的方法,探讨了搅拌头平面数量对焊接温度场、焊接接头组织及力学性能的影响
目前,在很多关于煤样课题的研究中,煤的微观结构特征已经成为重要一环。煤的微观孔裂隙结构是影响煤层气液渗流性能和储存能力的重要因素,对煤体解析吸附特性起到决定性作用;另外煤样破坏的细观力学机理不仅取决于煤、矿物质本身的刚度、强度等物理性质,还与孔隙裂隙结构密切相关。本文以扫描电镜(SEM)为主要实验手段,以四个不同煤矿的四种不同性质的煤样为例,获得煤样微观结构的高倍放大图像,对图像进行描述、分析,从
与轮式和履带式机器人相比,足式机器人有着其无与伦比的优点。在凹凸不平的山地和泥泞的沼泽地,足式机器人可以利用孤立的地面进行支撑,从而适应崎岖不平的地型,实现全方位行走,具有更好的灵活性和适应性。因其优越的性能,四足机器人广泛应用于抗洪、排爆、军事运输、教育娱乐、农业生产、野外探测和星际侦探等方面。近年来,随着足式机器人需求和应用范围的不断增加,四足机器人成为广大科研工作者争相研究的热点。本文首先研
CO2加氢制高碳烃(C5+)既能缓解CO2排放压力,又有望实现其高值化利用。近年来,采用“金属氧化物”与“分子筛”组成的双功能催化剂,实现了 CO2加氢选择性制高值碳氢化合物。首先CO2在金属氧化物活性位点上进行RWGS反应生成CO,然后CO经FTS反应生成低碳烯烃,接着低碳烯烃迁移和扩散至分子筛的酸性位点上进行低聚、加氢和异构反应,实现CO2加氢高选择性制高碳烃。本文设计和制备了Fe基/Ni-A
情绪对执行功能的影响一直是研究者关注的焦点问题之一。以往大量研究发现,不同类型的认知任务会受到不同情绪类型的影响。具体表现在情绪对注意、刷新、问题解决和行为控制等执行功能上均存在显著影响。关于情绪对执行功能影响的相关研究主要分为两类,分别是探讨积极情绪和消极情绪对执行功能的影响。不管是积极情绪还是消极情绪,以往研究主要从基本情绪层面出发探讨其对执行功能的影响,而对于更高级别的自我意识情绪却鲜有研究
学位