模群同态像的参数化作用及其在图像加密中的应用

为什么隐藏图片比想象的更难

我们每天通过互联网发送照片——医学扫描、身份证件、家庭快照——往往没有考虑其他人可能看到它们。传统的加密方法最初为文本和数字设计，面对图像的巨大体量和结构时会遇到挑战。本文提出了一种数学上更为精巧的方法来彻底扰乱图像，使其能抵抗许多现代攻击技术，同时在实际应用中保持足够的高效性。

从简单的锁到更智能的数字密钥

包括图像在内的大多数现代数据加密都依赖分组密码：将信息切成小块并反复变换。在许多分组密码的核心是S盒（代换盒），它对一小段数据（通常是一个字节）按预定表格进行替换。这一步产生了主要的“非线性”——使攻击者难以从密文回推明文的受控混乱。如果S盒设计不佳，整个密码体制就会变得容易破解。作者着重为图像构建更强健的S盒，因为像素之间的模式和相关性如果不被有效破坏，可能会泄露信息。

用奇异几何来扰乱数据

论文的关键创新是从代数的一个丰富分支——称为广义三角群的结构——构造S盒，这些群与数论中著名的模群有关。作者不仅依赖简单的算术公式或混沌映射，而是研究这些群如何作用在有限域上的射影直线上——一种高度对称但结构复杂的数学构造。通过对这些作用进行精确的“参数化”，他们得到陪集图：描述元素如何被置换的图状结构。每一组参数选择都会产生不同的循环和连接模式，从而定义不同的S盒。由于这些置换比传统群产生的更不规则、更具多样性，攻击者可利用的可预测结构更少。

设计更强的代换盒

在该代数框架之上，作者生成了一个8×8的S盒（将256个可能的输入值映射到256个输出）——基于具有2⁸个元素的有限域，其规模与广泛部署的AES密码相同。他们的代换基于对一个特定群词的重复作用，数学上表示为类似xyxy²的变换乘积，并在此过程中去除不动点和奇异点以避免弱点。所得S盒经过标准密码学指标的全面测试：非线性（与任一简单线性规则的偏离程度）、雪崩效应（当翻转单个输入比特时输出变化的幅度）、比特独立性（输出比特是否相互独立）、差分均匀性（对基于输入-输出差分的攻击的抵抗力）以及线性近似概率。在这些指标上，他们的S盒匹配或优于许多近期提出的设计，表现为高非线性、线性路径偏差低，以及对差分攻击有利的特征。

将新设计应用于图像

为了展示S盒在实际中的可用性，研究人员将其嵌入到一个灰度图像加密方案中。该过程多次使用S盒：首先用于像素值的移位与代换，然后在混合步骤中将微小变化扩散到整幅图像中。他们在一张样例照片上测试该方法并进行统计分析。加密后图像的像素直方图几乎平坦，表明亮度值呈均匀分布且不再有视觉模式。相邻像素之间的相关性从原图中接近1的高值降到密文图像的几乎零。其他常用指标，如熵（接近理想的8比特）、NPCR（约0.9959）和UACI（约0.3348），表明即便原图的微小变化在加密后也会引起巨大的不可预测变化，从而使差分和统计攻击极为困难。

这对日常安全意味着什么

简单来说，本文展示了来自深厚且看似抽象的数学思想可以被用来构建非常实用的数字图像防护。通过使用广义三角群生成S盒，作者创建了一族灵活的代换表，具有强大的扰乱能力和极少可检测的模式。他们的图像加密原型在安全性和效率上都表现良好，表明此类代数构造可能成为比传统或纯混沌方法更稳健的替代方案。对用户而言，这类工作有助于确保敏感图像——从医学扫描到个人照片——能够抵御日益复杂的攻击。

引用: Rafiq, A., Bibi, S., Abbasi, A.Z. et al. Parametric action of homomorphic image of modular group and it’s application in image encryption. Sci Rep 16, 6264 (2026). https://doi.org/10.1038/s41598-026-37082-0

关键词: 图像加密, 代换盒, 广义三角群, 密码学, 有限域