史瑞 作品数:10 被引量:2 H指数:1 供职机构: 北京电子科技学院 更多>> 发文基金: 中央高校基本科研业务费专项资金 重庆市教育委员会科学技术研究项目 国家自然科学基金 更多>> 相关领域: 电子电信 自动化与计算机技术 更多>>
基于NB-IoT的应用层数据安全传输机制 2024年 NB-IoT(Narrow Band Internet of Things)是基于蜂窝窄带物联网的一种新兴技术,是物联网的一个重要分支。随着NB-IoT终端设备的规模不断增大,物联网安全面临数据泄露、中间人攻击等安全威胁。本论文针对NB-IoT技术的数据安全传输研究,从物联网终端安全和应用服务安全两方面进行分析,结合密码技术给出了NB-IoT系统安全模型,提出了基于物联网应用层数据信源加密传输机制,给出了轻量级身份认证协议和数据加密传输协议,论证了该方案的安全性,通过实验验证了所提方案的可行性和适用性。 李克见 解建国 史瑞关键词:密码技术 基于带智能卡的移动终端实现的隐私保护的属性票据方案 2022年 为了解决现有电子票据系统难以在资源受限设备中部署,以及无法防止票据在未授权设备之间共享的问题,提出了基于带智能卡的移动终端实现的隐私保护的属性票据方案。其中,智能卡为安全可信但资源受限的核心设备,负责存储密钥信息并处理轻量级的运算;智能终端为功能强大的辅助设备,负责处理与密钥无关但耗时的运算。首先,结合伪随机函数、匿名的临时身份方案、带随机化标签的可聚合签名和Pointcheval-Sanders签名,构造了一个可在带智能卡的移动终端部署的支持属性策略的电子票据方案;其次,给出了电子票据的安全模型并证明了所提方案满足不可链接性和不可伪造性;最后,在个人计算机、国产智能卡(爱信诺ACH512)和智能手机(华为荣耀9i)上实现了所提方案,对比和实验结果表明了所提方案的高效性。 史瑞 史瑞 谢惠琴 封化民 刘飚 史国振 刘飚关键词:电子票据 隐私保护 智能卡 智能手机 数字签名 随机数及其统计检测的研究 被引量:1 2014年 随机数的随机性研究一直是一个热点问题。通过阐述随机数的相关概念,对随机数进行分类,提出了9个统计检测和基于这9个检测的两个检测程序,给出了这9个测试的详细说明和两个检测程序的评估准则。这9个测试是对随机数发生器的输出而言的,包含不相交测试,游程测试,近似熵测试等等。对于一个理想的随机数发生器,不通过这两个检测程序的概率约等于0。因此在实际中,可以运用这两个测试程序对随机数发生器产生的随机性进行检测。 张振民 郑秀林 史瑞 马静宜关键词:随机数 随机数发生器 统计测试 测试程序 模2~n加的差分特性研究 2014年 越来越多的密码设计使用了模2n加,异或,布尔函数,比特移位等操作来作为非线性源。为了研究模2n加的差分特性,首先介绍了S函数的相关概念,接着利用S函数的特性,用基于图论的方法,在给定输入差分和输出差分下,通过矩阵乘法来有效地计算adp⊕的概率。 郑秀林 张振民 史瑞关键词:差分分析 S函数 图论 Keccak算法非线性变换x的分析 2013年 x是keccak算法中唯一的非线性部件,本文研究了x变换的主要密码学性质,指出了x的非线性度为8,差分均匀度为8,代数次数为2,满足平衡性,可逆。计算出了x的逆变换的表达式,并分析了其密码学性质。基于x变换的设计思想,我们试图找到新的方法来构造分组密码中的S盒。 郑秀林 张聪 郭星 史瑞关键词:非线性度 代数次数 SMS4的积分区分器的研究 2013年 SMS4算法是国内官方于2006年2月公布的第一个商用分组密码标准。积分攻击是一种利用平衡性的选择明文攻击。首先简明介绍了分组密码算法SMS4的结构。通过选择不同形式的特定明文来观察平衡字集的传播路径,研究了SMS4算法的四轮、五轮、六轮、七轮和八轮积分区分器,在此基础上就可以进行积分攻击。由此可知,低轮数的SMS4算法对Square攻击是不免疫的。 张振民 郑秀林 史瑞 马静宜关键词:SQUARE攻击 SMS4 F_p上本原多项式的搜索算法 被引量:1 2014年 本文对有限域Fp上本原多项式的判别算法进行了程序上的优化,C语言实现了Fp上本原多项式的搜索算法,并搜索到若干F231-1上的本原多项式,这些多项式可以应用到实际的序列密码方案设计当中。 史瑞 郑秀林 李艳俊 张振民关键词:本原多项式 搜索算法 序列密码 密码学安全性指标的分析与应用 2014年 布尔函数和向量值函数被广泛运用到密码算法的设计与分析当中,其安全性指标是衡量密码学性质好坏的重要参数.非线性过滤层(NLF)是SOBER-t 16算法中重要的非线性组件,本文测试了NLF中函数f(x)的安全性指标,得出了函数f(x)是平衡的,其差分均匀度为65 536,非线性度为32 113,代数次数为7,并且分析了NLF结构的安全性,得出了相关结论.同时,设计了一个基于ARX运算的非线性组件,给出了其设计思想,并且利用随机抽样测试的方法,从密码学安全性指标的角度确保了设计的非线性组件的安全性. 张振民 史瑞 刘金涛F_p上跳步线性反馈移位寄存器 2014年 Steve Babbage和Matthew Dodd第一次将F2上跳步线性反馈移位寄存器应用在MICKEY算法的设计中。本文将F2上跳步线性反馈移位寄存器的数学理论进行了推广,给出了Fp上跳步线性反馈移位寄的基本理论,还给出了Fp上有特殊跳步指数的本原多项式的搜索算法,并给出了一些搜索结果。 郑秀林 史瑞 李艳俊 张振民IDEA算法中MA模块的研究 2013年 对分组密码加密算法IDEA中的MA模块进行分析,寻找其良好的性质,如其差分均匀度,线性复杂度等密码指标。通过软件编程证实MA的性质,进而在不同参数及结构下比较MA的性质,从中找寻MA模块的最优结构参数。 郑秀林 郭星 张聪 史瑞关键词:IDEA 线性复杂度