柯祉衡,宋佳宝,王一诺,王浩文,王淑梅,马鸿洋*
(1.青岛理工大学信息与控制工程学院 山东 青岛 266520;2.青岛理工大学理学院 山东 青岛 266520)
随着互联网与通信技术的发展,图像作为最广泛应用的信息传输媒介,相较于文字信息,其包含的信息量更加巨大,每年由于信息泄漏而造成的损失十分巨大,图像传输过程中的安全问题成为一个重要的研究课题[1],提出更加安全高效的加密算法就显得尤其重要。数字图像在计算机中的存储可以视为一个二维像素矩阵,以二进制方式存在硬盘中,具有数据量大、相邻像素点间关联度高等特点,故而传统的流数据加密算法如DES、IDEA、AES 等对数字图像进行处理时,加密后的图像容易被攻击和破解。
目前,主流的数字图像加密思路分为像素点位置制乱与像素值制乱,前者有Arnold 变换[2],Fibonacci 变换与魔方置换[3]等,前面两种方法在对图像进行加密时,均表现出周期性,这增大了图像被破译的风险;像素值制乱主要有混沌映射法[4],利用混沌系统的初值敏感性生成加密矩阵,并通过对像素值处理完成加密。文献[5]提出了结合多种混沌系统的图像加密算法,进一步提高了加密效率与安全性。
量子计算[6]是以量子力学基本原理为基础对数据进行计算的一种模型,用来研究量子计算机上的计算问题,包含叠加、纠缠等特性,拥有了传统计算机不具有的强大并行运算能力。1994 年,文献[7]提出了大数质因子分解量子算法,1996 年,文献[8]提出量子快速搜索算法,前者将复杂度从经典算法的 O(N)减 小到;后者将复杂度从指数级降低到多项式级。2022 年,文献[9]提出了一种基于置换群的量子行走反馈搜索算法,提高了搜索速度,近些年,将量子特性与其他领域相融合成为一种研究趋势[10-12]。
量子随机行走 (alternating quantum random walk, AQW)是一种量子计算模型,1993 年由文献[13]首次提出,但在这个实验中,研究人员需要对其中的每一步进行一次测量,而测量将导致量子态的坍缩,故而与经典行走相比并未表现出量子优越性,直到文献[14]提出连续量子随机行走,文献[15]提出离散量子随机行走,其量子特性才得以显现。随后,研究人员开始致力于探索量子随机行走的应用领域。文献[16-19]针对不同场景对量子行走的性质作了进一步的研究,2012 年,文献[20]将连续时间量子随机行走运用于图同构和聚类算法中,拓展了量子随机行走的应用范围,近年来,一些学者尝试将AQW 作用到图像的加密中,并得到了良好的加密效果[21-23]。
量子图像处理作为量子计算的分支,集图像处理、量子信息学等学科于一体,由文献[24]在1997 年首次提出。2003 年,文献[25]尝试将已有的量子算法应用于图像处理上,并逐渐形成两个分支:量子图像表示和量子图像处理。2005 年,文献[26]提出一种量子图像表示方法,将二维图像中的像素值转换为了Hilbert 空间中的量子态,目前已经有多种量子图像表示方法被提出,如Entangled Image[27], FRQI[28], NEQI[29]。本文使用的NCQI[30]是NEQI 模型的扩展,解决了NEQI 只能表示灰度图像的缺陷,将量子图像表示运用到了彩色图像中。在量子图像处理方面,也有很多成果问世,如量子几何变换[31]、量子缩放[32]、量子平移[33]。2020 年,文献[34]提出了一种新型的基于Kirsch 算子边缘提取的量子图像处理算法,2021年,文献[35]提出了一种新的量子彩色图像加密算法,验证了对量子图像进行加密传输的安全性与可行性。
为解决目前图像传输过程易受攻击与泄密的难题,本文提出了一种基于AQW 与量子异或操作的量子图像加密算法,首先为一幅经典的彩色图像构建量子线路,并以NCQI 模型存入量子计算机中,得到 |I〉,接着按照通信双方事先约定好的密钥进行一定步数的AQW 并生成概率矩阵,并以此生成量子异或操作矩阵,将其作用到 |I〉上,得到加密后的量子图像 |M〉;解密过程是加密过程的逆过程,由于接收方拥有相同的AQW 参数,将生成一个相同的量子异或操作矩阵。基于AQW 的安全性与量子图像的量子性,可以提高图像在传输过程中的安全性。
交替量子随机行走作为经典漫步的推广,具有密钥敏感性与非周期性等特点,可抵抗各种攻击。一维量子漫步的演化算符U作用在希尔伯特空间Hp×Hc上 ,其中Hp为 行走空间,由位置态 |x〉,x∈X张量而成,X是一维直线上所有点的集合,Hc为 硬币空间,由 |0〉和 |1〉张量而成。演化算符U=S(I×C),其中C为硬币抛掷算符,其矩阵形式如下所示:
将C作用于Hc,移位算符S根据硬币的投掷结果作用于Hp,S的作用效果描述为当硬币态为|0〉 时 ,粒子向右移动,当硬币态为 |1〉时,粒子向左移动。本文使用的AQW 如图1 所示,将位置态拓展为x、y两个方向的二维平面,并依次在这两个方向上交替行走。
图1 量子随机行走示意图
此时的演化算符U=Sy(I×C)Sx(I×C), 其中Sy为:
Sx表示x轴方向上的移位算符,与上式同理,设行走粒子的初始状态为 |Ψ0〉,则经过t步随机行走后,整个系统的状态 |Ψ0〉=Ut|Ψ0〉,在坐标(x,y)处找到该粒子的概率为:
NCQI 是通用量子图像表示NEQR 的改进,通过对彩色图像的(R,G,B)三通道分别进行NEQR表示,其中(R,G,B)分别表示红绿蓝三基色,这样NCQI 模型就可以处理24 位的彩色图像。一个2n×2n的彩色图像,其所需的量子比特为(2n+24)个,整幅图像可以表示为:
图2 将二维彩色图像进行RGB 三通道拆分
为了对整个量子图像实行量子异或XOR 操作,需要将其分为 22n个子操作Kyx,每一个子操作对一个具体的像素值进行异或操作,整个子异或操作用一个跟图像相同大小的矩阵K表示为:
由两个量子比特构成的量子或门∪、量子与门∩,其作用效果如图3 所示,线路中使用了交换门与Toffoli 门以及一个辅助量子比特。
图3 双量子比特与门和或门
本文提出了一种基于AQW 与量子异或操作的量子彩色图像加密模型,在本模型中,首先对一幅彩色图像进行RGB 三通道拆分,并构建量子线路以NCQI 模型存储于量子计算机中,得到量子图像,再根据双方事先约定好的密钥进行AQW,同时构建量子异或线路,完成对图像的加密操作,解密方案是加密方案的逆过程,本方案的加密流程如图4 所示。
图4 量子图像加密与解密模型
在对彩色量子图像进行操作之前,需要先将其存储于量子计算机上,用24+2n个量子比特存储一幅 2n×2n大 小的图片,首先将它们初始化为 |0〉态,即|φ0〉=|0〉⊗24+2n,使用Hadamard 门和恒等门I 分别作用于初始态中表示位置与像素的量子比特,此时得到一个空白量子图像 |φ1〉:
接着对 |φ1〉设 置颜色信息,因为一共有 22n个颜色需要设置,所以整个步骤可以划分为 22n个子操作,对于(Y,X) 处 颜色,量子操作wYX为:
将wYX作用于 |φ1〉, 设置(Y,X)位置的颜色值:
最终对中间态 |φ1〉执 行 22n次wYX操作后,将原始空白量子图像像素值都设置为所需值,得到了彩色量子图像 |ϕ2〉为:
把图2 所示的彩色图像存储于量子计算机中,其制备线路如图5 所示。
图5 量子彩色图像制备线路
利用1.4 节中的几个简单量子线路,可以将其扩展并设计两个二值矩阵的量子异或门线路,如图6 所示,其中表示通过AQW 二值矩阵构建的量子线路中的颜色信息,CYX为根据原始图像构建的量子线路中的颜色信息。
图6 两个二值矩阵的量子异或门线路
本文将原始像素矩阵I0(M×N)拆分成三通道像素矩阵R0(M×N),G0(M×N),B0(M×N),并根据上文内容,以NCQI 模型存入量子计算机中,得到
1)选择AQW 的一组参数 (N,T,θ,α,β),其中N表示控制概率矩阵的大小,T表示行走的次数,也是执行U 操作的次数, θ控制硬币算子C,(α,β)是硬币初始态的参数,并作为图像加密的密钥提前分发给通信双方。
2)粒子在N×N大小的空间里,沿xy两个方向依次行走T步之后,根据其在每一点出现的概率生成AQW 概率矩阵P,并调整其大小为对应的加密图像大小2n×2n,即:
3)转换P1中每一个元素的值,使之变成0~255 之间的整数:
6)根据量子异或操作矩阵BYX, 对 |I进行置乱,得到加密后的量子图像 |M〉为:
解密算法是加密算法的逆过程,由于密钥提前已经发送给了通信双方,此时根据相同的AQW 参数,将生成相同的AQW 概率矩阵,重复加密过程中的步骤1)~步骤5),将得到量子异或操作矩阵Byx。
由矩阵Byx对加密后的量子图像 |M〉进行解密,得到原始量子图像 |I〉:
本文选择512×512 大小的图像进行实验,所需要的量子比特数量为103 个,且处于相干时间无限长,保真度百分之百的理想状态下,现有的量子计算机无法满足实验需要,所以本实验将在经典计算机上使用pycharm 软件通过模拟仿真实现。在经典计算机中,将量子图像转换成像素矩阵,异或操作转换成酉矩阵,H 门与I 门也用相应的酉矩阵进行替代。对3 幅相同大小的彩色图像进行三通道拆分后,分别与生成的AQW 概率矩阵进行加密与解密,从图7 的仿真结果可知,密文图像呈现随机噪声形式,解密图像与原始图像完全相同。
图7 加密与解密效果图
图8 汽车图像加密前后相关性分析
图9 Lena 图像加密前后相关性分析
图10 水波图像加密前后相关性分析
信息分析一般包括相邻像素相关性分析与直方图分析,是攻击者可以通过对获取到的密文信息进行统计分析,从而得到明文图像的方法。
1)相邻像素相关性分析
对于图像而言,相邻像素点的像素值之间存在着很高的相关性,攻击者可以利用其中一个像素点的信息去预测周围像素点的像素值,从而破解整个或部分图像信息,相关系数计算公式为:
2)直方图分析
直方图分析反映了整个像素图像中各个像素值相对于其他像素值的分布情况,原始图像的直方图如图11 所示,表现出明显的统计学规律,加密后的直方图分布越均匀,则方差越小,表明加密算法对像素的置乱越显著,抵御攻击者统计分析攻击的能力越强。实验结果表明,加密后的直方图像素均匀分布,具有良好的加密效果。
图11 Lena 图像加密前后直方图分析
1)对于一个理想的图像加密算法,密钥中一个微小的改变应该对加密结果产生完全不同的效果,通常用像素变化率NPCR 和统一平均变化强度UACI 来评估不同密钥对图像加密的影响,计算公式如下:
表1 测试图片NPCR 与UACI 结果 %
接下来给出本算法与文献[21,23,36]的比较结果,如表2 所示。
表2 几种方法的NPCR 与UACI 数据对比 %
2)熵是用来度量事物复杂度的物理量,对于安全性分析来说是一个重要参考指标,如果其信息熵的值趋近于8,则表明其像素扩散随机性好,应对统计攻击的能力强。信息熵的计算公式为:
式中, ∂i表示∂ 点 像素的灰度值;P(∂i)是 灰度值 ∂i出现的概率,计算结果如表3 所示。
表3 测试图片信息熵
本文提出的基于量子随机行走与异或操作的量子图像加密模型,防止了攻击者通过已知的明文部分和对应的密文对整个图像进行破译。本文模型可以安全地传输量子图像。虽然在现有技术下无法对量子图像进行直接操作,但是在模拟仿真中证明了本文技术思路的有效性与安全性,展示了量子图像处理技术的广阔应用前景。