周宇
- 作品数：12 被引量：5H指数：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盒的三种指标综合分析。最后,给出了这三个指标的研究展望。
- 周宇陈智雄卓泽朋杜小妮
- 布尔函数的代数免疫与扩散阶的关系被引量：2
- 2011年
- 本文利用布尔函数全局雪崩准则得到平方和指标与代数免疫的联系，通过Walsh谱与自相关函数的关系式得到布尔函数满足扩散时自相关值的分布，由此推出了变元数、代数免疫、扩散阶和代数次数之间的不等式，利用计算机搜索得到变元数在4～30之间时这四个指标的简洁表达式。最后得到了扩散阶与线性结构、正规性的关系。
- 周宇曹云飞张文政祝世雄
- 关键词：布尔函数代数免疫
- S盒可分特征的线性不等式刻画研究
- 2022年
- S盒可分特征的刻画是自动化积分分析的关键。为实现通用性,支持动态S盒和大状态S盒的刻画,给出了3种线性不等式刻画方法及其一般刻画形式,其中,凸包的H表示方法不会引入临时变量,其一般刻画形式使用的线性不等式数量最少,但属于非等价刻画;大M方法在引入一个二进制临时变量的情况下实现等价刻画,但线性不等式数量最多;维数扩充法同样引入一个二进制临时变量,在实现等价刻画的同时线性不等式数量与凸包的H表示方法相当,刻画效果最优。
- 胡建勇胡建勇张文政张文政苗旭东
- 关键词：S盒线性不等式凸包
- 一类非线性度较高的拉丁方阵
- 2014年
- 拉丁方变换是一类非常重要的变换,在密码算法设计、组合设计等领域具有广泛的应用,目前对密码性质好的拉丁方阵的构造方法研究较少。通过研究基于可逆方阵的多输出Bent函数的构造方法,提出了一种利用本原多项式来构造非线性度高的拉丁方阵的算法,并对这类拉丁方阵的密码性质进行了分析和测试,结果表明这类拉丁方阵具有较高的非线性度和较高的代数次数,能够用于实际应用中密码算法的设计。
- 董新锋周宇张文政
- 关键词：拉丁方非线性度
- 双边隐私保护的能源交易多方计算方案
- 2025年
- 点对点能源交易凭借其匹配灵活和去中心化特点受到广泛应用,但同时也暴露出交易组织困难和监管缺失等问题.建立基于联盟链的交易平台已经成为重要解决方案.然而,区块链的公开透明性使得交易者与能源信息的隐私保护变得困难,导致点对点交易多方计算的实现成为挑战.本文首先提出双边隐私保护均价模型.采用数据分割与混淆方法,执行均值计算并确保原始出价的机密性.设计基于SM2的环签名和一次性地址算法,确保交易双方匿名性.以该均价模型为基础,进一步提出链上双边隐私保护的点对点能源交易多方计算方案(blockchain-assisted dual-side privacy-preserving multi-party computation,DPC).DPC采用基于Free-XOR混淆电路的比价机制,实现密态均价比值.通过在图型联盟链上部署比价机制,支持能源供需信息并发上链,并确保比价结果的不可伪造性.基于Miracl密码库和C++编程模拟并设置对比实验,数据表明DPC仅需0.29 s即可完成80个参与者的密态均价计算,混淆比价电路偶数门开销降至常量级,优于现有同类协议.
- 薛婧婷刘亮李发根张文政张晓均周宇
- 关键词：安全多方计算
- 移动边缘计算场景下基于身份的安全认证密钥协商协议被引量：1
- 2024年
- 移动边缘计算的快速发展推动了对新型安全技术的研究。认证密钥协商协议作为保障安全通信的重要方法之一,得到了广泛的关注,但现有的面向移动边缘计算的认证密钥协商协议并不能很好地同时满足移动边缘计算的安全性和性能需求。针对这一问题,提出了移动边缘计算场景下的认证密钥协商协议。首先,协议方案根据移动用户和边缘计算服务器的身份构建身份认证的凭证,双方通过该凭证完成相互认证并构建会话密钥,保证了通信安全;其次,通过形式化分析和非形式化分析证明了方案具有良好的安全性能;最后,由于所提方案避免使用包括双线性对在内的计算开销较大的密码学运算,在计算和通信开销方面的表现也较优。
- 叶文慧王金花张文政周宇刘妍妍
- 关键词：认证密钥协商可证明安全
- 小汉明重量的布尔函数代数厚度上界研究
- 2012年
- 根据布尔函数代数厚度的定义,总结变量不交布尔函数的组合函数代数厚度与各布尔函数代数厚度的联系,指出代数厚度上界证明的局限性,得到布尔函数与其补布尔函数代数厚度的限制关系式。利用该关系式得到汉明重量为2和3的布尔函数及其补布尔函数的代数厚度上界,计算满足一定代数厚度的布尔函数的概率值。
- 周宇张文政祝世雄
- 关键词：布尔函数代数免疫
- Maiorana-McFarland's Bent函数零化子空间维数
- 2012年
- 在流密码和分组密码的设计中,所用布尔函数应该具有好的密码学性质来抵抗已知的各种有效攻击.布尔函数的低次零化子空间维数与其补函数低次零化子空间维数之和是评价该函数抵抗代数攻击能力的一个重要参数.根据Maiorana-McFarlands(M-M)Bent函数和布尔置换之间的一一对应关系,给出了一组布尔函数组并证明了它们是线性无关的.借助所给的线性无关布尔函数组和布尔置换中向量函数非零线性组合均是平衡函数的特性,给出了一类特殊M-M Bent函数低次零化子空间的维数与其补函数低次零化子空间的维数之和的一个上限.就这类特殊M-M Bent函数而言,该上限低于已知的限.进一步给出了适合所有M-M Bent函数的新上限.
- 张凤荣胡予濮马华谢敏周宇
- 关键词：流密码BENT函数代数次数
