【摘 要】
：
诊断主体授权问题是车辆远程故障诊断中的关键问题。针对当前车辆远程诊断授权协议(PVAUDS)中存在的问题,提出了新的车辆远程诊断授权协议(PVAUDS+)。在保证原协议安全目标的前提下,为诊断主体提供双向认证和票据新鲜性验证,并保证发送票据的可信第三方能够有效抵御拒绝服务攻击。使用安全协议证明工具ProVerif对PVAUDS+协议的安全属性进行自动化证明,通过增加发起代价的机制解决对可信第三方的
【基金项目】
：
国家自然基金委员会一广东联合基金重点基金资助项目（U1135002）,国家自然科学基金资助项目（61303033）,陕西省自然科学基础研究计划基金资助项目（2013JQ8036）,中央高校基本科研业务费专项资金资助项目（JB140309）,航空科学基金资助项目（2013ZC31003,20141931001）
论文部分内容阅读
诊断主体授权问题是车辆远程故障诊断中的关键问题。针对当前车辆远程诊断授权协议(PVAUDS)中存在的问题,提出了新的车辆远程诊断授权协议(PVAUDS+)。在保证原协议安全目标的前提下,为诊断主体提供双向认证和票据新鲜性验证,并保证发送票据的可信第三方能够有效抵御拒绝服务攻击。使用安全协议证明工具ProVerif对PVAUDS+协议的安全属性进行自动化证明,通过增加发起代价的机制解决对可信第三方的拒绝服务攻击问题,从而说明PVAUSD+协议能够满足提出的安全目标。定量分析结果说明本协议具有较好的可行性。
其他文献
文章通过考古发现的实物资料与历史文献资料的分析,探讨了西藏古代墓葬遗存的起源、早期墓葬形式、发展及衰弱等过程。
提出了一种新的粒子群优化算法——基于群体早熟收敛程度和非线性周期振荡策略的自适应混沌粒子群优化算法。利用混沌的遍历特性初始化粒子的速度和位置,根据种群的早熟收敛程度和粒子的适应度值自适应地调整惯性权重;学习因子则采用非线性周期振荡策略,模拟鸟类觅食过程中交替出现的分散和重组现象。基准测试函数的仿真结果表明,所提出的算法不仅收敛速度快、寻优质量高,而且具有良好的稳定性。
大庆市自1978年建立第一个自然保护区以来,在国家、省及相关部门的正确领导下,自然保护区建设工作取得了显著成效,已基本形成类型比较齐全、功能相对完备的自然保护区网络。
校外体育培训是指体育培训专业人士对学生进行一段时间内的体育技能指导。本研究通过文献资料法、问卷调查法、数据分析法以及对部分学生及家长的简单访谈了解,对广州市第一
针对移动自组织网络认证协议应对安全威胁、满足安全目标的有效性问题,提出了采用基于通信顺序进程(CSP,communicating sequential process)和模型检测的协议分析方法,对移动自组织网络的代表性认证协议TAM进行分析、建模、检验并改进。首先采用CSP方法对TAM中参与者的通信行为建立模型、给出了安全目标的安全规范;然后利用模型检测工具FDR验证了TAM的CSP进程,结果表明
针对突发GMSK混合信号的单通道盲分离问题,提出了一种基于逐幸存路径处理(PSP)的抗频偏盲分离算法。该算法通过在盲分离过程中对信道变化和频偏引起的相位变化分别进行跟踪,能大大提升算法对残余频偏的容忍能力。仿真表明,传统PSP算法能容忍的归一化频偏误差(相对符号速率)不大于2.0×10 4,而抗频偏算法在归一化频偏误差达1.5×10 2时仍然能收敛,且不需要对初始相位进行估计,同时分离性能相比理想
目的：探讨诱捕受体3（Dc R3）蛋白在胆囊癌组织中的表达。方法：采用免疫组织化学SP法检测Dc R3蛋白在胆囊癌组织、胆囊管状腺瘤组织、胆囊腺肌瘤病组织及慢性胆囊炎组织中的表达,藉
针对传统相似手写汉字识别系统(SHCCR)受特征提取方法的限制,提出采用深度神经网(DNN)对相似汉字自动学习有效特征并进行识别,介绍相似字符集生成方法和针对相似汉字识别的深度神经网络的具体结构,研究对比不同的训练数据规模对识别性能的影响。实验表明,DNN能有效地进行特征学习,避免了人工设计特征的不足,与传统基于梯度特征的支持向量机(SVM)和最近邻分类器(1-NN)方法相比,识别率有较大的提高;
FTP是校园网络中极为重要的业务系统,但目前大多数的FTP服务器普遍存在性能上的瓶颈,造成资源利用率低的现象。因此从高校校园网的实际需求出发,分析了现有FTP应用软件的工作原理,重点对服务器的节点个数和节点的处理速率进行深入研究。然后基于多线程原理,建立了FTP服务器的排队理论模型。通过对网络带宽利用率、服务器响应时间及节点处理速率等指标的计算分析,提出了相应的FTP服务改进方案。
结合BSN及MOT架构的双重优势,提出一种新型的双层架构体系BSN-MOT,并研究了其上的拓扑性质及在并行处理中应用的基本通信及应用等操作算法。算法包括行、列树广播、单向广播、数据求和、矩阵乘积、最短路径路由及多项式求根。最后,通过与其他2种有效的树形双层网络架构MMT及OMULT比较说明,基于BSN-MOT架构的通信算法要比其他2种网络有着更小的时间复杂度,且BSN-MOT是一种更具有竞争力的体