|
|||||
|
|
| S盒可分特征的线性不等式刻画研究 | |
| 引用本文： | 胡建勇,张文政,董新锋,周宇,苗旭东.S盒可分特征的线性不等式刻画研究[J].通信技术,2022(4):480-485. |
| 作者姓名： | 胡建勇 张文政 董新锋 周宇 苗旭东 |
| 摘 要： | S盒可分特征的刻画是自动化积分分析的关键.为实现通用性,支持动态S盒和大状态S盒的刻画,给出了3种线性不等式刻画方法及其一般刻画形式,其中,凸包的H表示方法不会引入临时变量,其一般刻画形式使用的线性不等式数量最少,但属于非等价刻画;大M方法在引入一个二进制临时变量的情况下实现等价刻画,但线性不等式数量最多;维数扩充法同... |
| 关 键 词： | S盒 积分分析 可分性质 线性不等式 凸包 |
