S盒可分特征的线性不等式刻画研究

• 作者: 胡建勇 张文政 董新锋 周宇 苗旭东
• 来源期刊: 通信技术
• 学科: 工学
• 关键词: S盒 积分分析 可分性质 线性不等式 凸包
• 年，卷（期）: 2022,（4）
• 所属期刊栏目: 安全与保密|Security & Privacy
• 页码范围: 480-485
• 页数: 6页
• 分类号: TP309.7
• 语种: 中文
• DOI: 10.3969/j.issn.1002-0802.2022.04.011

摘要

S盒可分特征的刻画是自动化积分分析的关键.为实现通用性,支持动态S盒和大状态S盒的刻画,给出了3种线性不等式刻画方法及其一般刻画形式,其中,凸包的H表示方法不会引入临时变量,其一般刻画形式使用的线性不等式数量最少,但属于非等价刻画;大M方法在引入一个二进制临时变量的情况下实现等价刻画,但线性不等式数量最多;维数扩充法同样引入一个二进制临时变量,在实现等价刻画的同时线性不等式数量与凸包的H表示方法相当,刻画效果最优.