摘 要：要解决ARX密码算法差分特征的自动化搜索问题，夫键是要解决搜索过程中模加差分的快速计算。首先，提出了相夫差分分布表的概念，通过查找相夫差分分布表，可以有效地计算模加的差分以及差分概率；其次，利用相夫差分分布表，将Matsui算法扩展到ARX密码，提出了自动化搜索ARX密码差分特征的算法；最后，利用提出的搜索算法，搜索SPECK算法的差分特征，得到了SPECK32、SPECK48和SPECK64的最优差分特征。