《表1 n比特模加中间变量分配》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《SPECK型算法的积分分析和不可能差分分析》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

根据上式给出的各分量间的函数关系，可以将模加运算转化为复制、异或、按位与等基本运算的复合再结合模型1–3即可给出其可分性传播的MILP形式.不妨以n比特数的模加运算为例，其可分性传播的MILP模型可以如下构造，各中间变量的分配表如表1所示.