董新锋
- 作品数：11 被引量：9H指数：2
- 供职机构：中国电子科技集团公司第三十研究所更多>>
- 发文基金：四川省科技计划项目国家自然科学基金国防科技保密通信重点实验室基金更多>>
- 相关领域：电子电信自动化与计算机技术更多>>
- 利用级联方法构造的布尔函数
- 2012年
- 级联构造作为布尔函数的主要构造方法之一,具有结构简单、实现快速灵活等优点,被广泛用于构造实用的布尔函数。文中给出了一种通过迭代来构造密码学性质好的布尔函数的级联方法,详细测试了这类函数主要的密码学性质及代数正规型项数,并从理论上分析了构造的这类函数能够具有平衡性、最优的代数次数、高非线性度、高的代数免疫阶等多种好的密码性质。文中的结果表明,提出的级联构造方法能够用于构造密码学性质良好的布尔函数。
- 董新锋宋云芬张文政
- 关键词：布尔函数非线性度
- Feistel结构的8比特轻量化S盒被引量：2
- 2021年
- 轻量化S盒作为轻量级对称密码算法的混淆部件,是设计轻量级对称密码算法的关键。提出一种新的8比特轻量化S盒设计方法,其单轮逻辑运算仅涉及4个单比特逻辑与运算和4个单比特逻辑异或运算,迭代4轮后密码性质可达到差分均匀度为16、非线性度为96。与目前已有轻量化S盒设计方法相比,新的8比特轻量化S盒设计方法在硬件实现资源小的同时达到了已知最优的差分均匀度和非线性度等密码学指标,解决了之前8比特轻量化S盒差分均匀度和非线性度等密码性质弱的问题。
- 董新锋董新锋张文政
- 关键词：FEISTEL结构S盒轻量级对称密码非线性度
- S盒可分特征的线性不等式刻画研究
- 2022年
- S盒可分特征的刻画是自动化积分分析的关键。为实现通用性,支持动态S盒和大状态S盒的刻画,给出了3种线性不等式刻画方法及其一般刻画形式,其中,凸包的H表示方法不会引入临时变量,其一般刻画形式使用的线性不等式数量最少,但属于非等价刻画;大M方法在引入一个二进制临时变量的情况下实现等价刻画,但线性不等式数量最多;维数扩充法同样引入一个二进制临时变量,在实现等价刻画的同时线性不等式数量与凸包的H表示方法相当,刻画效果最优。
- 胡建勇胡建勇张文政张文政苗旭东
- 关键词：S盒线性不等式凸包
- 一类轻量化线性MDS变换的设计与分析被引量：3
- 2018年
- 线性MDS变换是对称密码算法的主要扩散部件,具有最优的分支数。提出了一类基于循环移位和异或运算的轻量化线性MDS变换的最简形式和构造方法,给出了该类线性MDS变换的计数结果和相应实例,从而为实际应用中的密码算法设计提供大量轻量化的扩散部件。此外,通过与公开算法中扩散部件的比较分析,说明提出的最简形式线性MDS变换具有时延低、运算快、计算资源小等特性,可以满足移动互联网、物联网中诸多资源受限应用场景下的密码算法扩散部件的设计要求。
- 董新锋董新科胡建勇
- 关键词：密码算法
- 具有最大代数免疫度函数的研究被引量：4
- 2013年
- 代数免疫度是私钥密码学中的重要概念。具有高代数免疫度的函数能抵抗新型攻击——代数攻击。CARLET Claude和FENG Keqin构造了具有最大代数免疫度的平衡函数及其线性等价函数,根据CARLET和FENG的构造,首先证明这类最大代数免疫度函数的数目,然后给出曹浩等人给出的定理6的简化证明,最后说明没有矩阵满足曹浩等人给出的定理7的条件(即不能用曹浩等人的方法构造具有最大代数免疫度的1阶弹性函数)。
- 谯通旭王运兵谢上明董新锋张文政
- 关键词：本原元矩阵弹性函数
- 序列低频重乘积关系计算算法的研究
- 2016年
- 针对周期序列实现有效的离散傅里叶频谱攻击,前提条件是寻找到序列的一对低频重乘积关系。基于低频重乘积关系如何计算的问题,在时域上提出了通常的低频重乘积关系计算算法。为了减少计算算法的遍历复杂性,利用序列的频域特性和迹表示,在频域上提出了更加有效的低频重乘积关系计算算法。最后,针对频域上的低频重乘积关系计算算法,分别利用迹函数的乘积关系以及满足乘积关系序列在频域上的等价条件,给出了关于乘积序列迹表示的两种适用计算方法。
- 胡建勇张文政董新锋
- 关键词：迹表示
- 一类循环MDS矩阵的构造及计数
- 2018年
- MDS矩阵是密码算法的主要扩散部件之一,具有最大的差分分支数和线性分支数。基于Cauchy矩阵的构造方法提出了一种循环MDS矩阵的构造方法,并给出了该类MDS矩阵的计数结果和相应实例。该类循环MDS矩阵能够快速有效地实现,可以为实际应用中的算法设计提供大量的循环MDS矩阵。
- 董新锋董新科李枫
- 关键词：CAUCHY矩阵密码算法
- 几乎最优弹性plateaued函数的性质和构造
- 2015年
- 研究了几乎最优plateaued函数的非零线性结构个数,证明了一个具有奇数个变元的几乎最优plateaued函数要么是没有非零线性结构的plateaued函数,要么是有一个非零线性结构的部分bent函数;一个具有偶数个变元的几乎最优plateaued函数的非零线性结构只可能是0,1,3个。还给出一种构造几乎最优弹性plateaued函数的方法,可以使函数无非零线性结构、满足严格雪崩准则、具有良好的全局雪崩特征等。
- 边康龙朱海君董新锋
- 关键词：密码学布尔函数非线性度
- 一类非线性度较高的拉丁方阵
- 2014年
- 拉丁方变换是一类非常重要的变换,在密码算法设计、组合设计等领域具有广泛的应用,目前对密码性质好的拉丁方阵的构造方法研究较少。通过研究基于可逆方阵的多输出Bent函数的构造方法,提出了一种利用本原多项式来构造非线性度高的拉丁方阵的算法,并对这类拉丁方阵的密码性质进行了分析和测试,结果表明这类拉丁方阵具有较高的非线性度和较高的代数次数,能够用于实际应用中密码算法的设计。
- 董新锋周宇张文政
- 关键词：拉丁方非线性度
- 基于SAT的差分和线性活跃S盒搜索方法
- 2022年
- 混合整数线性规划和布尔可满足性问题(Boolean Satisfiability Problem,SAT)两种约束规划技术已被广泛应用到密码自动化安全性分析中,但目前并没有基于SAT的差分和线性活跃S盒分析方法。为了使SAT成为密码算法安全性分析和评估的一种更为通用的方法,首次建立了字节级分支、异或、MDS的SAT模型,提出了一种通用的基于SAT的差分和线性活跃S盒搜索方法,能够搜索经典分组密码算法的活跃S盒个数。为了检验本方法的实际应用效果,利用本方法成功搜索出AES、Dblock系列分组密码算法的差分活跃S盒。
- 苗旭东董新锋董新锋穆道光张文政
- 关键词：自动化分析分组密码
