基于LTE-R的车地安全认证机制研究

来源 :西南交通大学 | 被引量 : 0次 | 上传用户:hao1238888
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
铁路无线通信系统作为车地通信信号的传输载体,是列车运行控制系统的关键组成部分,是保障列车行车安全的重要基础设施,也是未来建设智能化、信息化铁路的核心装备。GSM-R是目前全球铁路行业中应用最广泛的铁路无线通信系统,投入运行至今已超30年时间。然而,受制于其窄带通信技术特性,GSM-R难以满足未来高速铁路系统针对高冗余度数据的可靠传输、实时多媒体视频监控等业务的要求。因此,国际铁路联盟(UIC)提出发展基于LTE-R的下一代高速铁路无线通信系统。相较于GSM-R,LTE-R基于长期演进技术,具备高带宽、低时延和高速率等优点,但同时更加开放的空中接口,全IP化、扁平化的网络结构使LTE-R容易面临数据窃听、篡改、假冒欺骗、DoS攻击等安全风险。攻击者可以利用系统和协议的弱点,非法接入LTE-R网络,实现对列控、调度信息等机密数据的监听、篡改等操作,危害行车安全。因此,如何实现对接入车载单元(OBU)的身份认证以及空口数据/信令的机密性和完整性保护,满足LTE-R系统接入安全需求以及车地认证的实时性要求成为了相关领域的研究热点。此外,秉承LTE宽带通信技术所具备的优势,LTE-R除了能够满足列车安全运行的基本通信需求之外,还具备向车载旅客提供移动通信和网络服务的能力,然而,高速铁路环境下移动通信面临着大规模乘客群体瞬时接入网络以及频繁的越区切换引起的信令拥塞等问题,严重影响用户的通信服务体验。因此,研究设计LTE-R网络下,面向乘客用户的群体接入以及切换认证算法成为了当前又一热点方向。本文对基于LTE-R的安全、高效车地认证机制展开研究,主要包含以下内容:(1)回顾与研究相关的数论基础和密码学知识,包括数论基础中群、域、椭圆曲线和双线性对及相关的数学困难问题,密码学中的消息认证码、数字签名技术。然后,介绍了密码算法和协议安全性分析的一系列方法,包括可证明安全和自动化协议分析工具ProVerif。此外,简单介绍了LTE的网络结构以及EPS-AKA协议。(2)针对LTE-R网络无线接入过程潜在的一系列安全隐患,提出一种基于混合密码体制的安全车地通信认证密钥协商方案。方案共包含初始认证、重认证和切换认证三个协议,能够实现对接入车载单元的身份隐私保护以及车地通信的双向身份鉴权,同时,还能有效防范DoS攻击、重放攻击、重定向攻击及中间人攻击。然后,利用ProVerif对提出的协议进行了安全性验证,并与同类协议进行了效率比较,结果表明:所提方案能满足预期安全目标,并且在计算和通信效率上较同类协议更具优势,能够确保LTE-R网络接入安全以及满足车地信令交互的的实时、高效性要求。(3)针对高速铁路环境下移动通信面临大规模乘客群体瞬时接入网络以及频繁的越区切换引起的信令拥塞等问题。提出将中继服务器(MRN)引入到LTE-R网络,并基于该网络结构设计面向乘客用户的无证书聚合签名群体认证方案。方案包含初始接入认证和切换认证两个协议,得益于MRN的引入以及无证书聚合签名批量验证的高效性,所提方案能够解决上述问题,实现大规模用户对LTE-R网络的快速接入认证以及高效的切换认证。此外,在随机预言机模型下,证明了所构造的无证书聚合签名算法具备不可伪造性。同时,利用ProVerif对方案进行了安全性分析和验证,结果表明所提方案在相互认证、密钥安全及抵抗各类攻击等方面都具备良好表现。最后,与目前3GPP标准认证协议和其他同类方案相比,提出的方案在计算效率和信令开销方面具备明显优势。
其他文献
水产养殖是一项基于自然资源的古老人类活动,近30年来迅速发展成为一个初具规模的全球性产业。改革开放以来,我国水产养殖业高速发展,2004年我国水产养殖总产量达到3209万吨,占世
期刊
随着科技社会的发展和网络信息技术的进步,复杂网络的链接预测问题已经成为计算机科学、社会科学、复杂系统等领域中的重要研究方向之一。在自然界中,大量形形色色的系统都可
太谷位于山西省中部晋中盆地,太谷方言属于晋语并州片。目前关于太谷方言,尤其是构词法的研究尚不够深入、不够全面。文中以《汉语方言词语调查条目表》为依据,为对太谷方言构词法进行全面的调查描写,使用田野调查法,调查条目表中的词语在太谷方言中的使用情况。主要从词根构词法、词缀构词法、语音构词法及太谷方言构词法与普通话构词法的比较四方面,尽可能详尽地描写太谷方言构词法的特点。首先是对太谷方言词根构词法的分析
期刊
淡水黑鲷学名厚唇弱棘龟剌(Hephaestus fuliginosus),隶属于鲈形目,鱼剌科,弱棘鱼剌属。淡水黑鲷体态丰腴,色泽华丽,肉质细嫩,无泥腥味,适合于目前消费市场的需求,且具有生长速度快、抗