刘亚
- 作品数：13 被引量：39H指数：3
- 供职机构：上海交通大学电子信息与电气工程学院计算机科学与工程系更多>>
- 发文基金：国家自然科学基金上海市“科技创新行动计划”中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术电子电信理学更多>>
- 不可能差分分析时间复杂度通用计算公式的改进被引量：1
- 2018年
- 研究Boura等和Derbez分别提出的不可能差分分析时间复杂度计算公式,根据实际攻击过程优化密钥排除的步骤,给出不可能差分分析实际攻击的时间复杂度计算的改进公式,进而利用两个分组密码算法模型将改进后公式计算的实际结果分别与Boura等的公式和Derbez的公式的计算结果进行对比,结果表明Boura等的公式计算结果既可能高于优化公式的实际分析计算的结果,也可能低于优化公式的实际分析计算的结果,而在轮子密钥独立时改进后公式的实际计算结果是Derbez公式的计算结果的2-1.2倍。
- 刘亚刘亚刘亚刘志强李玮
- 关键词：分组密码时间复杂度
- 10轮Midori 128的中间相遇攻击被引量：1
- 2019年
- 轻量级分组密码由于软/硬件实现代价小且功耗低,被广泛地运用资源受限的智能设备中保护数据的安全。Midori是在2015年亚密会议上发布的轻量级分组密码算法,分组长度分为64 bit和128 bit两种,分别记为Midori 64和Midori 128,目前仍没有Midori 128抵抗中间相遇攻击的结果。通过研究Midori 128算法基本结构和密钥编排计划特点,结合差分枚举和相关密钥筛选技巧构造了一条7轮中间相遇区分器。在此区分器前端增加一轮,后端增加两轮,利用时空折中的方法,提出对10轮的Midori 128算法的第一个中间相遇攻击,整个攻击需要的时间复杂度为2^(126. 5)次10轮Midori 128加密,数据复杂度为2^(125)选择明文,存储复杂度2^(105)128-bit块,这是首次对Midori 128进行了中间相遇攻击。
- 刘亚刘亚刘亚刘志强
- 关键词：分组密码
- 进一步优化关于素数无穷性的Euclid证法被引量：1
- 2008年
- 令pi表示第i个素数.本文主要目的是用初等的方法构造性证明了,当r≥4时区间Ir中至少有2[log2(2r)]+1个素数,这一结果是Aldaz和Bravo对区间Ir中素数的个数的估值两倍.
- 刘亚谷大武
- 关键词：互素
- 分组密码Four-Cell的简单代数结构
- 009年,Choy等人在ACISP上提出了一类新的广义非平衡Feistel结构,并且设计了一个128比特分组长度和密钥规模的分组密码Four-Cell.与AES类似,Four-Cell的轮函数也是采用两个有限域GF(2)...
- 刘亚谷大武李玮
- 关键词：分组密码代数结构共轭映射安全性能
- 21轮CRAFT算法不可能差分分析被引量：1
- 2021年
- CRAFT是FSE 2019年提出的一种轻量级可调分组密码,适用于硬件实现面积小且资源受限设备保护信息的安全。该算法使用128 bit密钥和64 bit调柄值加密64 bit明文,对其进行安全性评估,可以为日后使用提供理论依据。通过研究CRAFT的结构特点和密钥编排方案的冗余性,利用预计算表、等效密钥和轮密钥线性关系等技术,选取一条充分利用密钥冗余性的13轮不可能差分链,在其前后分别接3轮和5轮,提出了对21轮CRAFT的不可能差分分析。攻击的时间、数据和存储复杂度为296.74次加密,253.6个选择明文和256.664-比特块。此攻击是对缩减轮CRAFT算法在单密钥和单调柄值情形下时间复杂度最低的分析。该方法依赖于调柄值调度算法的线性相关,有助于更进一步理解CRAFT的设计。
- 石新蕾刘亚刘亚刘亚
- 关键词：CRAFT
- 提升MIFARE Classic应用系统的安全性
- MIFARE Classic卡作为使用最多的RFID卡,被广泛应用于公交、门禁、城市一卡通等系统。但最近越来越多的研究者发现它存在致命的安全漏洞,很容易受到攻击。文中首先介绍了MIFARE Classic卡的基本结构特性...
- 曲博谷大武刘亚李柏岚
- 关键词：RFID
- 文献传递
- 轻量级分组密码Pyjamask的不可能差分分析被引量：4
- 2021年
- Pyjamask是美国国家技术标准研究院征选后量子时代轻量级密码算法中进入第二轮的候选分组密码,对其抵抗现在流行的不可能差分分析分析为未来在实际系统中使用起到重要的作用。提出一些2.5轮不可能差分链并分析它们的结构特点和攻击效率,在一些最有效的不可能差分链的前后各接1轮和半轮,形成4轮Pyjamask多重不可能差分攻击路径。攻击结果表明Pyjamask的行混淆运算扩散性比较强,能较好地抵抗不可能差分分析,此结果是对Pyjamask安全性分析的一个重要补充。
- 刘亚刘亚刘亚陆海宁王凌云
- 提升MIFARE Classic应用系统的安全性被引量：1
- 2009年
- MIFARE Classic卡作为使用最多的RFID卡，被广泛应用于公交、门禁、城市一卡通等系统。但最近越来越多的研究者发现它存在致命的安全漏洞，很容易受到攻击。文中首先介绍了MIFARE Classic卡的基本结构特性；然后结合实用性和安全性，针对MIFARE Classic卡的一般应用系统和特定应用环境给出了一些可以提高它安全性的建议，这些建议不仅对现有MIFARE Classic系统的改造有指导意义，而且对未来新系统的建立也有借鉴作用；最后简要地给出了一种替换MIFARE Clssic卡的过渡方案。
- 曲博谷大武刘亚李柏岚
- 关键词：RFIDMIFARECLASSIC
- 针对PRESENT分组密码算法的代数分析被引量：5
- 2011年
- 研究针对PRESENT分组密码的代数分析。通过使用S盒的表达式形式,构建出多轮PRESENT加密中的代数方程组。这种构建方程的方法被推广到具有小型S盒的典型SPN型分组密码算法的方程构建问题中。对简化的PRESENT算法进行了攻击实验,采用MiniSAT作为攻击过程中的求解工具,对四轮、六轮PRESENT加密进行实际攻击。可以在1 min内恢复四轮加密的所有密钥,数小时内恢复六轮加密的密钥。通过引入了差分思想,将有效攻击轮数提高到八轮。
- 葛十景谷大武刘志强刘亚
- 关键词：S盒分组密码
- 物联网环境下LED轻量级密码算法的安全性分析被引量：26
- 2012年
- LED算法是于2011年CHES会议中提出的一种新型轻量级密码算法,用于在物联网环境下保护RFID标签以及智能卡等设备的通信安全.文中提出并讨论了一种针对LED算法的差分故障攻击方法.该方法采用面向半字节的随机故障模型,通过在LED算法中导入故障,分别仅需要3个错误密文和6个错误密文,即可恢复LED算法的64bit和128bit原始密钥.实验结果表明,针对LED算法的差分故障攻击方法不仅扩展了故障诱导的攻击范围,而且提高了故障诱导的效率,减少了错误密文数,从而为故障攻击其它轻量级密码算法提供了一种通用的分析手段.
- 李玮谷大武赵辰刘志强刘亚
- 关键词：物联网RFIDLED差分故障分析
