科研之友
微信
新浪微博
Facebook
分享链接
摘要
S盒可分特征的刻画是自动化积分分析的关键。为实现通用性，支持动态S盒和大状态S盒的刻画，给出了3种线性不等式刻画方法及其一般刻画形式，其中，凸包的H表示方法不会引入临时变量，其一般刻画形式使用的线性不等式数量最少，但属于非等价刻画；大M方法在引入一个二进制临时变量的情况下实现等价刻画，但线性不等式数量最多；维数扩充法同样引入一个二进制临时变量，在实现等价刻画的同时线性不等式数量与凸包的H表示方法相当，刻画效果最优。
-
单位中国电子科技集团公司第三十研究所
