典型文献
S盒可分特征的线性不等式刻画研究
文献摘要：
S盒可分特征的刻画是自动化积分分析的关键.为实现通用性,支持动态S盒和大状态S盒的刻画,给出了3种线性不等式刻画方法及其一般刻画形式,其中,凸包的H表示方法不会引入临时变量,其一般刻画形式使用的线性不等式数量最少,但属于非等价刻画;大M方法在引入一个二进制临时变量的情况下实现等价刻画,但线性不等式数量最多;维数扩充法同样引入一个二进制临时变量,在实现等价刻画的同时线性不等式数量与凸包的H表示方法相当,刻画效果最优.
文献关键词：
S盒;积分分析;可分性质;线性不等式;凸包
中图分类号：
作者姓名：
胡建勇;张文政;董新锋;周宇;苗旭东
作者机构：
中国电子科技集团公司第三十研究所,四川 成都 610041;保密通信重点实验室,四川 成都 610041
文献出处：
引用格式：
[1]胡建勇;张文政;董新锋;周宇;苗旭东-.S盒可分特征的线性不等式刻画研究)[J].通信技术,2022(04):480-485
A类：
可分性质
B类：
分特征,线性不等式,积分分析,通用性,凸包,表示方法,等价刻画,二进制
AB值：
0.153594
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
