本文研究「独立随机置换之和」这类由置换构造函数的变换，在经典与量子查询模型下的不可区分性（即伪随机性）安全界。设 G 为阶为 N 的有限阿贝尔群，π^k_+(x)=π_1(x)+…+π_k(x)，其中 π_i 为 G 上独立均匀随机置换，k≥2。作者提出统一的傅里叶分析框架：把构造本身表示为其概率密度函数，把区分器表示为其接受函数，经典与量子查询模型分别对应接受函数傅里叶支撑的不同限制，从而在同一框架内同时推导两类界。经典模型下得到对任意 q<N 的 O_k(q/N^{k-1/2}) 界；在生日阈值以下进一步收紧为 O_k(q^2/N^k)。量子模型下，通过模拟论证得到 q≤(N-1)/2 时 O_k(N^{-(k-3/2)})；利用傅里叶插值给出 q≤4N/15 的具体有限界，以及在整个 1≤q≤(N-1)/2 范围内的查询相关界：k=2 时为 O(min{N^{-1/2}, q^3/N^2+1/N})，k≥3 时为 O_k(min{q^3/N^k, N^{-(k-3/2)}})；q=1 时前一界可精确到 O(N^{-2})。在 G=F_2^n 上，作者给出一个单查询傅里叶攻击，其量级与单查询上界相符；同时给出一个 N/2 查询的奇偶性攻击，优势达 1/2，说明所得界已经触及常量优势的查询阈值，即界在阶上是最优的。文章还研究二元向量空间上置换之和的两个变体：一是允许任意满射线性后处理（包含截断），得到保留输出长度依赖关系的经典与量子界；二是分析 Dinur 的变长输出单置换构造 LXoP，对每个固定输出宽度给出经典与量子安全界，并针对单块与两块输出给出具体的量子安全界。整体贡献在于提供统一、可复用的傅里叶分析工具，并为 XoP/LXoP 系构造给出更紧、且在关键参数区间可匹配攻击的安全界。