周宇
- 作品数：11 被引量：4H指数：2
- 供职机构：中国电子科技集团公司第三十研究所更多>>
- 发文基金：四川省科技计划项目国家自然科学基金国防科技保密通信重点实验室基金更多>>
- 相关领域：电子电信自动化与计算机技术更多>>
- 满足特定平方和指标平衡布尔函数的性质分析
- 2014年
- 布尔函数是组成序列密码和分组密码算法的重要部件,平方和指标和绝对值指标是衡量布尔函数全局扩散的度量准则。分析了两类达到一定平方和指标的平衡布尔函数的绝对值指标,得到对应绝对值指标的下界,给出满足扩散阶时的绝对值下界。
- 周宇
- 关键词：布尔函数
- 布尔函数的代数免疫与扩散阶的关系
- 本文针对第一个研究问题:代数免疫与与其他密码学指标的联系，利用布尔函数全局雪崩准则得到平方和指标与代数免疫的联系，通过Walsh谱与自相关函数的关系式得到布尔函数满足扩散时自相关值的分布，由此推出了变元数、代数免疫、扩散...
- 周宇曹云飞张文政祝世雄
- 关键词：密码学布尔函数代数免疫
- 文献传递
- (n,m)函数抗差分功耗攻击指标的研究综述被引量：2
- 2021年
- (n,m)函数是对称密码算法的最基本部件,其密码学性质的优劣一定程度上决定着对称密码算法的安全性。因此,如何设计和分析满足多种密码学性质的(n,m)函数是对称密码部件研究中重要的基础问题。随着对称密码算法的侧信道分析研究的深入,在(n,m)函数抵抗差分功耗攻击方面出现了一些指标:信噪比、透明阶和混淆系数,这些指标也逐渐成为衡量(n,m)函数密码性能好坏的重要参考之一,目前已被应用在S盒的设计和评估中。从理论角度综述了(n,m)函数的信噪比、透明阶和混淆系数方面研究成果,主要包括:(n,m)函数和布尔函数的信噪比与传统密码学指标的关系;(n,m)函数和布尔函数的透明阶与传统密码学性质的关系,布尔函数与其分解函数的透明阶的关系以及小变元平衡函数透明阶的分布;(n,m)函数的混淆系数刻画;一些公开算法中S盒的三种指标综合分析。最后,给出了这三个指标的研究展望。
- 周宇陈智雄卓泽朋杜小妮
- S盒可分特征的线性不等式刻画研究
- 2022年
- S盒可分特征的刻画是自动化积分分析的关键。为实现通用性,支持动态S盒和大状态S盒的刻画,给出了3种线性不等式刻画方法及其一般刻画形式,其中,凸包的H表示方法不会引入临时变量,其一般刻画形式使用的线性不等式数量最少,但属于非等价刻画;大M方法在引入一个二进制临时变量的情况下实现等价刻画,但线性不等式数量最多;维数扩充法同样引入一个二进制临时变量,在实现等价刻画的同时线性不等式数量与凸包的H表示方法相当,刻画效果最优。
- 胡建勇胡建勇张文政张文政苗旭东
- 关键词：S盒线性不等式凸包
- 移动边缘计算场景下基于身份的安全认证密钥协商协议
- 2024年
- 移动边缘计算的快速发展推动了对新型安全技术的研究。认证密钥协商协议作为保障安全通信的重要方法之一,得到了广泛的关注,但现有的面向移动边缘计算的认证密钥协商协议并不能很好地同时满足移动边缘计算的安全性和性能需求。针对这一问题,提出了移动边缘计算场景下的认证密钥协商协议。首先,协议方案根据移动用户和边缘计算服务器的身份构建身份认证的凭证,双方通过该凭证完成相互认证并构建会话密钥,保证了通信安全;其次,通过形式化分析和非形式化分析证明了方案具有良好的安全性能;最后,由于所提方案避免使用包括双线性对在内的计算开销较大的密码学运算,在计算和通信开销方面的表现也较优。
- 叶文慧王金花张文政周宇刘妍妍
- 关键词：认证密钥协商可证明安全
- 一类非线性度较高的拉丁方阵
- 2014年
- 拉丁方变换是一类非常重要的变换,在密码算法设计、组合设计等领域具有广泛的应用,目前对密码性质好的拉丁方阵的构造方法研究较少。通过研究基于可逆方阵的多输出Bent函数的构造方法,提出了一种利用本原多项式来构造非线性度高的拉丁方阵的算法,并对这类拉丁方阵的密码性质进行了分析和测试,结果表明这类拉丁方阵具有较高的非线性度和较高的代数次数,能够用于实际应用中密码算法的设计。
- 董新锋周宇张文政
- 关键词：拉丁方非线性度
- 小汉明重量的布尔函数代数厚度上界研究
- 2012年
- 根据布尔函数代数厚度的定义,总结变量不交布尔函数的组合函数代数厚度与各布尔函数代数厚度的联系,指出代数厚度上界证明的局限性,得到布尔函数与其补布尔函数代数厚度的限制关系式。利用该关系式得到汉明重量为2和3的布尔函数及其补布尔函数的代数厚度上界,计算满足一定代数厚度的布尔函数的概率值。
- 周宇张文政祝世雄
- 关键词：布尔函数代数免疫
- Maiorana-McFarland's Bent函数零化子空间维数
- 2012年
- 在流密码和分组密码的设计中,所用布尔函数应该具有好的密码学性质来抵抗已知的各种有效攻击.布尔函数的低次零化子空间维数与其补函数低次零化子空间维数之和是评价该函数抵抗代数攻击能力的一个重要参数.根据Maiorana-McFarlands(M-M)Bent函数和布尔置换之间的一一对应关系,给出了一组布尔函数组并证明了它们是线性无关的.借助所给的线性无关布尔函数组和布尔置换中向量函数非零线性组合均是平衡函数的特性,给出了一类特殊M-M Bent函数低次零化子空间的维数与其补函数低次零化子空间的维数之和的一个上限.就这类特殊M-M Bent函数而言,该上限低于已知的限.进一步给出了适合所有M-M Bent函数的新上限.
- 张凤荣胡予濮马华谢敏周宇
- 关键词：流密码BENT函数代数次数
- 标准算法的征集及启示
- 2022年
- 密码算法是保证信息安全的核心技术之一,随着计算机技术的发展,密码算法经历了从古典到抗量子设计的发展,涌现出了适用于各种场景且具有多种功能的密码算法。对国内外密码算法发展中的各种征集候选算法进行介绍,分析并指出使用的主要框架等,提出在新的挑战下密码算法的发展趋势、研究重点,为新型密码算法设计和分析提供基础支撑。
- 蒋涛张文政周宇陈静
- 关键词：密码算法对称密码算法公钥密码算法
- 可分特征的刻画及其自动化分析应用
- 2022年
- 基于可分性质的自动化分析是评估分组密码抵抗积分分析能力的有效方法,其关键在于建立自动化分析模型时对密码部件和基本运算的可分特征刻画。通过研究可分性质的传播规律,给出其可分特征的线性不等式刻画,首次实现S盒和逻辑与运算的等价刻画,给出自动化积分分析的基本思想和分析流程,并应用于ISO标准分组算法CLEFIA,得到10轮的积分区分器,是目前最长的积分区分器。
- 胡建勇胡建勇周宇董新锋
- 关键词：分组密码S盒
