【摘 要】
：
5G网络发展迅速,作为系统安全基础的认证和密钥协商协议,其安全性是5G安全的核心问题.该文借助TAMARIN证明程序对5G网络中的EAP-AKA\'协议进行建模分析.通过分析协议规范将安全性需求归纳为保密属性和认证属性两种安全属性,利用TAMARIN建立模型来验证不同安全属性的满足程度.根据TAMARIN证明程序返回的验证结果,该文发现了SEAF与AUSF间关于SNID的单射一致性违反以及锚定密钥KSEAF前向保密性的违反,从而发现了重放攻击、身份验证同步失败攻击以及锚定密钥KSEAF泄露攻击,并针对
【机 构】
：
北京交通大学电子信息工程学院,北京100044;中国网络安全审查技术与认证中心,北京100020;北京邮电大学网络空间安全学院,北京100876
论文部分内容阅读
5G网络发展迅速,作为系统安全基础的认证和密钥协商协议,其安全性是5G安全的核心问题.该文借助TAMARIN证明程序对5G网络中的EAP-AKA\'协议进行建模分析.通过分析协议规范将安全性需求归纳为保密属性和认证属性两种安全属性,利用TAMARIN建立模型来验证不同安全属性的满足程度.根据TAMARIN证明程序返回的验证结果,该文发现了SEAF与AUSF间关于SNID的单射一致性违反以及锚定密钥KSEAF前向保密性的违反,从而发现了重放攻击、身份验证同步失败攻击以及锚定密钥KSEAF泄露攻击,并针对这些攻击提出了相应的安全加固方法,最后对方法进行理论分析和实验验证.
其他文献
防火一直是企业生产和人们生活关注的重点.做好防火工作不仅是消防救援队伍以及工作人员的工作,也是群众需要积极参与的一项重要工作.近年来,火灾事故频繁发生,人们的生命财产安全都受到了严重威胁.人们安居乐业和安全生产离不开良好的防火成果,防火是当前企业生产和人们生活最为重要的话题,全面做好防火工作,才能有效保证工作与生活安全,防火工作成为了现代社会人们最为关注的重点.近年来发生的火灾事故已经频繁给人们敲响了警钟,火灾给人们的生命财产带来了巨大的隐患,全面提高防火能力,强化防火技术创新,做好防火监督检查,显得尤其
随着信息科技的发展,大数据技术正日益影响人们的工作和生活.但是目前对于大数据的数据等级划分以及安全保护尚未形成法律层面以及制度化的做法,必须对其进行科学分类分级,并采取有力措施保证数据安全,使得大数据为人类社会发展起到巨大推动作用.
国家为了减缓资源紧缺的现实情况并实现节能减排,正不断推行可持续发展战略.我国汽车行业积极响应相关政策要求,大力发展新能源汽车,以电代油,减少排放,提升汽车生产制造企业的创新能力,促进新能源汽车工业技术进步,为了更好地满足公众对环保和汽车性能的要求,文章对新能源汽车的发展和动力电池的综合测试技术进行了研究.
在已有的基于深度学习的源代码缺陷检测方法中,所使用的训练数据和测试数据大多来源于仅供学术研究的测试源码,无法为深度学习模型的训练提供足够的数据支撑.因此,该文提出了一种源代码缺陷检测数据生成及标注方法.该方法在提取源代码控制流关系的基础上,应用已训练的深度学习模型和商业工具来完成源代码切片数据的标注.使用公开数据集SARD、NVD及开源软件Ffmpeg等进行验证,结果表明通过该方法能够生成直接用于深度学习的源代码缺陷检测数据集,为基于深度学习的源代码缺陷检测方法提供了数据支撑.
随着BIM技术在城市轨道交通领域的不断推广,也是设计单位提高自身核心竞争力的必然发展方向.文章基于沈阳地铁4号线文官屯车辆段室外综合管线二维设计的基础上,进行了BIM技术的应用,通过Revit软件建模及BIM技术进行碰撞检查后,对发现的各专业间管线碰撞的问题通过现场协调会反馈各专业,再通过设计专线提出一系列的优化设计方案.相比只进行二维设计的室外综合管线布置图,通过BIM三维模型能够展示出管线的立体位置,增加了视觉感官效果,减少了设计盲点,对管线施工情况具有更精确的指导价值,进而减少了现场施工处理、降低了
为研究水岩作用对花岗岩裂隙剪切力学特性的影响,分别对干燥和不同浸水时长条件下的花岗岩裂隙试样进行了室内直剪试验.结果 表明:峰值抗剪强度、剪切刚度随浸水时长的增长而减小;峰值剪位移随浸水时长的增长而增大;剪胀效应随浸水时长的增长而减弱;剪切损伤体积随浸水时长的增长而增大.采用三维蓝光扫描仪获得了裂隙面剪切前后的形貌特征,分析了剪切损伤体积随浸水时长的演化规律,提出了考虑浸水时长条件下的粗糙裂隙剪切体积模型.此外,还分别进行了干燥、浸水12个月两种工况下的花岗岩纳米压痕试验.相比干燥试样,浸泡12个月后试样
裂隙流体是水岩系统工程灾变的主要影响因素,直观可视化岩石破坏与裂隙流体的相互作用过程,是揭示不同工程背景条件下水岩互馈灾变机理的关键.该文提出了岩石破裂过程中裂隙流体X射线造影方法,开展了岩溶滑坡、红层边坡失稳及煤矿采空区涌水灾害背景下的岩石材料尺度试验.试验研究结果表明:岩溶管道-裂隙流过渡过程中流态经历了从层流到过渡流或紊流的演化过程,多级应力荷载作用下碳酸盐岩管道流体至裂隙流体的变化过程具有分形演化特征.水动力循环和多级应力荷载作用下红层泥岩损伤因子呈非线性增长,采取控制或降低渗流扩散系数的加固措施
该文针对车联网移动边缘计算环境下,车辆在快速移动和切换时与多个边缘服务器间的任务卸载协商所面临的安全性能和系统能耗问题,提出了一个基于边缘服务器和车载服务器协同工作的任务卸载策略安全协商机制,描述了车辆移动时的安全切换交互协议,讨论了其基于边缘服务器覆盖范围的任务分配协商算法及其约束条件.仿真结果表明:该方案可以有效保证通信时的安全性能,同时其卸载能耗及卸载时间与现有方案相比分别减少了58％和 17％.
基于最大熵方法,该文提出一种对轮旋压设备旋轮座结构可靠性分析模型.采用最大熵方法得到功能函数的概率密度函数表达式,利用Taylor展开方法与调用有限元程序相结合得到功能函数前四阶中心矩,然后将功能函数标准化变换得到四阶原点矩,基于四阶原点矩,采用MATLAB函数求解最大熵方法约束条件表达式,得到最大熵概率密度函数所需的参数,然后拟合概率密度曲线,最后采用积分求解功能函数的失效概率,计算结果与MCS(Monte Carlo simulation)方法对比,相对误差为1.61％,验证了该方法的正确性和可行性.
该文介绍了三维线激光轮廓仪纵向布置架构及工作原理,开发了基于线激光的移动参考算法,可用于20～100km/h时速下连续获取道面纵向轮廓线,设备布置于左右轮迹带,线激光调查长度为270mm,垂直精度达0.01mm.通过该调查系统获取了2段不同质量状况沥青路面轮廓高程并用于计算10、100 m步距国际平整度指数(international roughness index,IRI),测试结果表明:变速情况下获取的IRI值与手动测量相对误差不超过3％,低速情况下的左、右轮廓仪标准差不超过0.3,变速情况下不超过0