特邀报告三:高速铁路列控通信系统的安全性分析

来源 :中国密码学会2016年密码算法会议 | 被引量 : 0次 | 上传用户：yhmlivefor46

【摘要】

：

【作者】

：

郭伟

【机构】

：

西南交通大学

【出处】

：

中国密码学会2016年密码算法会议

【发表日期】

：

2016年5期

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

　　高速铁路列车控制系统是整个高铁运行的控制中枢.高速铁路通常采用无线闭塞中心生成相应的列车行车许可命令，通过GSM-R传送至列车，并以此控制列车运行.因此高铁列控信号的安全传输对整个高铁安全起到了至关重要的作用.本报告将从信息安全的角度，简要介绍整个高铁列控系统的安全通信协议架构和功能模块，并对其核心通信安全协议的进行初步的安全性分析，给出了一种"部分密钥恢复+伪造"攻击方案.攻击结果表明，在截获232.5个已知明文前提下，大约需要257次离线MAC计算，即可实时计算得到任意数量的伪造消息，且伪造消息中所包含的序列号、三重时间戳或机器周期等校验标识符均可通过接收端的检验，攻击的成功率约为0.63.

其他文献

抗菌剂改性聚丙烯材料的研究进展

综述了无机抗菌剂和有机抗菌剂在PP材料抗菌改性中的研究情况.重点介绍了银系抗菌剂、光催化抗菌剂、吡啶硫酮锌抗菌剂、壳聚糖抗菌剂及合成有机抗菌剂在聚丙烯相关制品中的研究进展.

会议

聚丙烯抗菌剂改性处理抗菌性能

3D打印高分子材料的研究进展

3D打印技术亦称增材制造,是属于快速成型技术的一种,与传统加工技术相比3D打印具有很多优势.目前制约3D技术发展的主要是打印材料.文章详细介绍了适应3D打印的高分子材料,指出高分子材料不仅要满足3D打印的成型加工性能还要满足制品的使用性能.提出了3D打印高分子材料面临的发展问题.

会议

3D打印高分子材料成型加工性能使用性能

轻量级分组密码LBlock的差分故障分析

为了对轻量级分组密码LBlock进行研究，分析了轻量级分组密码算法LBlock的差分传播规律及S盒的差分分布特性，在此基础上对LBlock算法进行了差分故障分析.理论分析和实验结果表明，一次注入半字节故障在单轮的攻击模型下恢复全部密钥需平均进行49.8轮注入，导入49.8次故障；多轮的攻击模型下恢复全部密钥需平均进行12.3轮注入，导入12.3次故障；一次注入两个半字节故障在多轮的攻击模型下恢复全

会议

轻量级分组密码LBIock差分故障攻击攻击模型

Generating highly nonlinear resilient Boolean functions resistance against algebraic and fast algebr

Boolean functions play an important role in the design of stream ciphers.In this paper, a simulated annealing algorithm is designed to obtain Boolean functions satisfying all the needed criteria: high

会议

algebraic immunityBoolean functionsfast algebraic resistanceresiliencysimula

特邀报告六:SPN结构针对不可能差分密码分析的可证明安全

This talk mainly concentrates on provable security evaluation of SPN structure against impossible differential and zero correlation linear cryptanalysis.

会议

布尔函数的全局雪崩准则研究综述

布尔函数在序列密码和分组密码中有很重要的应用,其密码学性质受到了广泛的关注和研究,人们也构造了具有多种密码学性质的布尔函数.本文仅就布尔函数的全局雪崩准则做一些深入研究,综述布尔函数全局雪崩准则近5年来的一些研究成果,希望对国内学者有所启发.

会议

序列密码分组密码布尔函数全局雪崩准则

特邀报告一:整数分解问题的研究进展

整数分解问题是最古老的数学问题之一，该问题自1978年以来被广泛应用公钥密码的设计。因此，对整数分解问题的研究无论在数论上还是在密码学上都具有基础重要的作用。本报告将介绍整数分解问题的研究进展。

会议

特邀报告五:云数据完整性验证研究进展

云存储服务大大减轻了用户的数据管理负担。然而，云服务提供商不是完全可信的，数据在云端是否完好保存即云数据完整性成为用户最大的担忧。云数据完整性验证协议是一种在无需下载云数据的前提下实现云数据完整性检测的轻量型协议。报告介绍云数据完整性协议的设计方法和研究进展，包括基于缠绕编码的协议、基于同态认证子的协议，以及近期的研究热点如公开云数据完整性验证、支持动态操作的云数据完整性验证、隐私保护的云数据完整

会议

An Efficient Fully Homomorphic Encryption with Large Plaintext Space

The security of the sensitive information will influence our social behavior in some sense.Fully homomorphic encryption is a promising technology to process sensitive information in encrypted form.Whe

会议

public key encryptionfully homomorphic encryptionrefresh processlarge plainte

Construction of Highly Nonlinear 1-Resilient Boolean Functions with Optimal Algebraic Immunity and P

In 2013, Tang, Carlet and Tang presented two classes of functions.The functions in the first class are unbalanced and the functions in the second one are balanced.Both of these two classes of function

会议

Stream cipherBoolean functionresiliencyalgebraic immunityfast algebraic immu

特邀报告三:高速铁路列控通信系统的安全性分析

其他学术论文