张文政

作品数：11被引量：10H指数：2
导出分析报告
供职机构：中国电子科技集团公司第三十研究所更多>>
发文主题：S盒差分轻量级密码可证明安全更多>>
发文领域：电子电信自动化与计算机技术更多>>
发文期刊：《密码学报（中英文）》《信息安全与通信保密》《西安电子科技大学学报》《通信技术》更多>>
所获基金：四川省科技计划项目国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
双边隐私保护的能源交易多方计算方案
《密码学报(中英文)》2025年第1期96-116,共21页薛婧婷 刘亮 李发根 张文政 张晓均 周宇 
国家自然科学基金(61902327);通信安全重点实验室科技基金(61421030107012102);四川省自然科学基金(2023NSFSC1398,2022YFG0172,2022JDRC0061);西南石油大学自然科学启动项目(2021QHZ017)。
点对点能源交易凭借其匹配灵活和去中心化特点受到广泛应用,但同时也暴露出交易组织困难和监管缺失等问题.建立基于联盟链的交易平台已经成为重要解决方案.然而,区块链的公开透明性使得交易者与能源信息的隐私保护变得困难,导致点对点...
关键词：安全多方计算 点对点能源交易 SM2环签名 Free-XOR混淆电路 联盟链 
移动边缘计算场景下基于身份的安全认证密钥协商协议被引量：1
《通信技术》2024年第4期400-408,共9页叶文慧 王金花 张文政 周宇 刘妍妍 
四川省科技计划:抗量子基于身份加密方案的研究(2022JDRC0061)。
移动边缘计算的快速发展推动了对新型安全技术的研究。认证密钥协商协议作为保障安全通信的重要方法之一,得到了广泛的关注,但现有的面向移动边缘计算的认证密钥协商协议并不能很好地同时满足移动边缘计算的安全性和性能需求。针对这一...
关键词：移动边缘计算 基于身份的密码学 认证密钥协商 可证明安全 
一种计算ARX密码差分—线性偏差的新方法
《西安电子科技大学学报》2024年第2期211-223,共13页张峰 刘正斌 张晶 张文政 
国家重点研发计划青年科学家项目(2021YFB3100200);四川省保密通信重点实验室基金(61421030111012101)。
ARX密码由模加、循环移位和异或这3种基本运算组成。目前ARX密码差分—线性区分器偏差的计算大多采用统计分析的方法。在2022年美密会上,NIU等给出了一种计算ARX密码差分—线性区分器相关度的非统计分析的方法,并给出了SPECK32/64的10...
关键词：差分—线性区分器 ARX密码 SAT/SMT SPECK SIMON 
Gimli认证加密方案的不可能差分分析被引量：3
《西安电子科技大学学报》2022年第5期213-220,共8页谭豪 申兵 苗旭东 张文政 
国家重点研发计划(2017YFB0802000);四川省科技计划(2020JDJQ0076)。
Gimli是美国国家标准与技术研究院发起的轻量级加密算法标准第二轮候选算法。当前,Gimli的安全性分析主要针对Gimli置换、Gimli杂凑函数、Gimli带有关联数据的认证加密方案等。Gimli认证加密方案总体采用sponge结构,适用于受限环境下的...
关键词：Gimli 轻量级密码 认证加密方案 差分传播系统 不可能差分 
标准算法的征集及启示
《信息安全与通信保密》2022年第7期106-114,共9页蒋涛 张文政 周宇 陈静 
四川省科技计划资助项目(No.2021ZYD0011,No.2020JDJQ0076)。
密码算法是保证信息安全的核心技术之一,随着计算机技术的发展,密码算法经历了从古典到抗量子设计的发展,涌现出了适用于各种场景且具有多种功能的密码算法。对国内外密码算法发展中的各种征集候选算法进行介绍,分析并指出使用的主要框...
关键词：密码算法 对称密码算法 公钥密码算法 抗量子密码算法 
基于SAT的差分和线性活跃S盒搜索方法
《信息安全与通信保密》2022年第5期10-17,共8页苗旭东 董新锋 韩羽 穆道光 张文政 
四川省科技计划资助项目(No.2021ZYD0011)。
混合整数线性规划和布尔可满足性问题(Boolean Satisfiability Problem,SAT)两种约束规划技术已被广泛应用到密码自动化安全性分析中,但目前并没有基于SAT的差分和线性活跃S盒分析方法。为了使SAT成为密码算法安全性分析和评估的一种更...
关键词：布尔可满足性问题 自动化分析 活跃S盒 分组密码 
S盒可分特征的线性不等式刻画研究
《通信技术》2022年第4期480-485,共6页胡建勇 张文政 董新锋 周宇 苗旭东 
国家重点研发计划(2020YFC1522900);四川省科技计划(2020JDJQ0076)。
S盒可分特征的刻画是自动化积分分析的关键。为实现通用性,支持动态S盒和大状态S盒的刻画,给出了3种线性不等式刻画方法及其一般刻画形式,其中,凸包的H表示方法不会引入临时变量,其一般刻画形式使用的线性不等式数量最少,但属于非等价刻...
关键词：S盒 积分分析 可分性质 线性不等式 凸包 
一种逼近完善保密的可证明安全随机分组密码
《密码学报》2021年第5期808-819,共12页王金波 张文政 
当前广泛使用的迭代型分组密码一般为固定变换,不利于安全性.“一次一密”乱码本方案具有完善保密性,但不具有实用性.为兼顾随机性和实用性,本文提出一种基于短密钥的逼近完善保密的实用化随机分组密码(简称BREA方案),主要思想是:预置...
关键词：分组密码 随机加密 高概率逼近一次一密 可证明安全性 
Feistel结构的8比特轻量化S盒被引量：4
《西安电子科技大学学报》2021年第1期69-75,共7页董新锋 张文政 许春香 
国家重点研发计划(2017YFB0802000);四川省科技计划(2020JDJQ0076)。
轻量化S盒作为轻量级对称密码算法的混淆部件,是设计轻量级对称密码算法的关键。提出一种新的8比特轻量化S盒设计方法,其单轮逻辑运算仅涉及4个单比特逻辑与运算和4个单比特逻辑异或运算,迭代4轮后密码性质可达到差分均匀度为16、非线...
关键词：FEISTEL结构 S盒 轻量级 对称密码 差分均匀度 非线性度 
改进的基于可分属性的立方攻击被引量：2
《通信技术》2020年第6期1473-1480,共8页穆道光 李枫 张文政 
国家重点研发计划(No.2017YFB0802000);四川省科技计划资助(No.2020JDJQ0076)。
针对基于可分属性的立方攻击,提出了一种改进的单项式枚举算法,该算法相较于之前的算法,能够将更多的不存在于超级多项式中的单项式排除,从而改进的立方攻击所需要的时间复杂得到降低。通过对初始化5拍MORUS-640-128算法的分析,验证了...
关键词：立方攻击 可分属性 MORUS算法 密码分析 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部