10、回旋镖攻击模型并行有效性分析与离散高斯采样器综述

回旋镖攻击模型并行有效性分析与离散高斯采样器综述

回旋镖攻击模型有效性验证

在密码学中，回旋镖攻击是一种重要的攻击方法，其模型的有效性验证至关重要。下面我们将详细介绍相关的串行和并行算法，以及实验结果分析。

串行算法

以下是用于验证回旋镖攻击模型有效性的串行算法：

Algorithm 2: Serial Algorithm for Validity Verification of the Boomerang
Attack Model
Input: α: the input difference of plaintext pair(Pa, Pb)
δ: the output difference of E0
Pa: 232 possible plaintext values
Output: count: the number of correct quartets
1
2 procedure statistic()
for each plaintext Pa do
3
Pb = Pa ⊕α ;
4
encrypt Pa →Ca ;
5
encrypt Pb →Cb ;
6
Cc = Ca ⊕δ ;
7
Cd = Cb ⊕δ ;
8
decrypt Cc →Pc ;
9
decrypt Cd →Pd ;
10
PcxorPd = Pc ⊕Pd ;
11
compare PcxorPd with α ;
12
if PcxorPd = α then
13
count++
14
end
15 end
16 end procedure

该算法的主要步骤如下：