【摘 要】
：
针对5G-V2X场景中大量车辆执行切换认证的效率问题，提出了一种基于轨迹预测的安全高效群组切换认证协议。首先，通过预测车辆轨迹，提前完成密钥协商协议。其次，通过用户分组算法将具有移动相关性的车辆视为同一群组，再采用无证书聚合签名技术批量验证群组内所有车辆。再次，针对聚合签名技术易遭受拒绝服务攻击的弊端，采用二分查找法快速定位恶意用户，提高群组切换认证协议的效率。最后，利用形式化验证工具Scythe
【基金项目】
：
国家自然科学基金资助项目（No.62072369,No.62072371）； 陕西高校青年创新团队基金资助项目； 陕西省特支计划青年拔尖人才支持计划基金资助项目； 陕西省重点研发计划基金资助项目（No.2021ZDLGY06-02,No.2020ZDLGY08-04）；
论文部分内容阅读
针对5G-V2X场景中大量车辆执行切换认证的效率问题，提出了一种基于轨迹预测的安全高效群组切换认证协议。首先，通过预测车辆轨迹，提前完成密钥协商协议。其次，通过用户分组算法将具有移动相关性的车辆视为同一群组，再采用无证书聚合签名技术批量验证群组内所有车辆。再次，针对聚合签名技术易遭受拒绝服务攻击的弊端，采用二分查找法快速定位恶意用户，提高群组切换认证协议的效率。最后，利用形式化验证工具Scyther对所提协议进行了安全性分析，与现有最优协议相比，所提协议的计算效率提高了30%。
其他文献
随着社会经济的快速发展以及疾病谱的变化,健康问题成为人民最为关注的领域之一,老人和孩子等易感人群尤其成为重点关注对象。中医药作为我国卫生健康领域的重要资源,其独特的优势在促进健康方面发挥着重要的作用,对重点人群实行中医药健康管理,实行健康干预和健康促进,有利于提高全体人群健康水平,减轻疾病负担。基层医疗卫生机构作为我国卫生服务体系的主力军,在社区卫生服务中心开展中医药健康管理服务符合全体人群健康保
＜正＞自杭州市西湖区被列为浙江省级康养服务体系建设试点城区以来，通过资源整合、标准服务、数字赋能等举措，提升老年健康服务和医养结合服务能力，着力构建医康养一体化供给通道。“医养融合西湖模式”上榜全国200例医养结合典型经验，“全民共享智慧健康养老”列入健康浙江行动优秀案例。西湖区、北山街道、西溪街道、灵隐街道、三墩镇、双浦镇陆续获评全国智慧健康养老应用示范基地、示范乡镇。
目的 探讨大蒜素（allicin,ALC）通过磷脂酰肌醇-3-激酶（PI3K）/蛋白激酶B（AKT）通路对结核分枝杆菌感染小鼠模型（PTB）的影响。方法 将54只SPF级小鼠随机分为对照组（CK组）、PTB组、低剂量ALC组（ALC-L组，2 mg/kg）、高剂量ALC组（ALC-H组，5 mg/kg）、阳性对照异烟肼组（INH组，5 mg/kg）和ALC-H+740 Y-P（PI3K激活剂）组（
为彻底查明影响仪扬河水质的污染来源，江苏省扬州环境监测中心会同扬州市生态环境局及各县（市、区）生态环境局组织实施联动溯源监测工作。调查结果显示，仪扬河整体为中度污染，水质“两端差，中间好”,主要污染源头为仪扬河支流汇水。仪扬河34条支流中有8条污染严重，水质均处于劣Ⅴ类。为保障省考生资码头、国考冻青桥、国考仪扬河大桥断面稳定达标，对监测结果进行了分析，提出了仪扬河环境质量优化建议。属地生态环境部门
钢筋商品化加工配送是一个跨行业、跨部门的系统工程,提高钢筋商品化深加工水平,是助推钢铁行业产业结构调整,提高钢材成材率,优化行业资源配置,延伸钢铁产业链,更是顺应中国经济平稳健康快速发展的必然选择。建科机械致力于商品化、集中化、专业化的钢筋加工配送产业化建设,助推产业升级,提升行业竞争力,变中国制造为中国创造。
随着江苏公路网规模的不断扩大,路网管理服务的难度日益增加,管理平台的建设升级也提上日程。文章首先从江苏公路网现状入手,梳理江苏公路网管理需求及目标,探讨江苏公路网管理服务平台建设内容,为后续平台建设落地及省外推广打下基础。
为解决垃圾分拣实现自动化分拣的问题，提高生产效率，降低生产成本，设计了一种气动机器人视觉垃圾分拣系统。利用气压控制回路实现对机械手运动的控制，采用棋盘格标定法对相机进行标定，标定结果误差相对较小。实验结果表明：利用气压控制的机械手定位和抓取效果良好。利用棋盘格标定的相机，机械手抓取平均误差小于3 mm。该分拣系统在一定条件下能够满足垃圾分拣，具有结构简单、易操作、分拣精准、效率高、成本低等特点，为
为开发气动肌肉在多自由康复机器人中的应用，设计了一种用于步态康复训练2自由度下肢康复辅助训练机器人，驱动器由气动肌肉和拉伸弹簧并联驱动关节以实现节能辅助行走。首先建立人体下肢运动学和动力学模型，并结合标准CGA步态曲线作为关节输入，通过Solidworks/motion进行运动学仿真，验证了所设计的模型符合人体下肢运动规律。针对气动肌肉伸展时存在非线性给关节控制困难，研究并提出了模糊自适应PID控