Twice-Hadamard-CNOT attack on Li et al.’s fault-tolerant quantum private comparison and the improved scheme

Sai Ji , Fang Wang , Wen-Jie Liu , Xiao-Min Yuan

Front. Phys. ›› 2015, Vol. 10 ›› Issue (2) : 100303

PDF (146KB)
Front. Phys. ›› 2015, Vol. 10 ›› Issue (2) :100303 DOI: 10.1007/s11467-015-0460-6
RESEARCH ARTICLE
Twice-Hadamard-CNOT attack on Li et al.’s fault-tolerant quantum private comparison and the improved scheme
Author information +
History +
PDF (146KB)

Abstract

Recently, Li et al. presented a two-party quantum private comparison scheme using Greenberger–Horne–Zeilinger (GHZ) states and error-correcting code (ECC) [Int. J. Theor. Phys. 52, 2818 (2013)], claiming it is fault-tolerant and could be performed in a non-ideal scenario. However, there exists a fatal loophole in their private comparison scheme under a special attack, namely the twice-Hadamard-CNOT attack. Specifically, a malicious party may intercept the other party’s particles and execute Hadamard operations on the intercepted particles as well as on his or her own particles. Then, the malicious party could sequentially perform a controlled-NOT (CNOT) operation between intercepted particles and the auxiliary particles, as well as between his or her own particles and the auxiliary particles prepared in advance. By measuring the auxiliary particles, the secret input will be revealed to the malicious party without being detected. For resisting this special attack, a feasible improved scheme is proposed by introducing a permutation operator before the third party (TP) sends the particle sequences to each participant.

Graphical abstract

Keywords

quantum private comparison / GHZ state / twice-Hadamard-CNOT attack / improved scheme

Cite this article

Download citation ▾
Sai Ji, Fang Wang, Wen-Jie Liu, Xiao-Min Yuan. Twice-Hadamard-CNOT attack on Li et al.’s fault-tolerant quantum private comparison and the improved scheme. Front. Phys., 2015, 10 (2) : 100303 DOI:10.1007/s11467-015-0460-6

登录浏览全文

4963

注册一个新账户 忘记密码

1 Introduction

Since quantum mechanics was introduced into the cryptography field, quantum cryptography has attracted significantly more attention attention. Due to the characteristics of quantum unconditional security, many quantum cryptography protocols such as quantum key distribution (QKD) [1–3], quantum secure direct communication (QSDC) [4–10], quantum secret sharing (QSS) [11–13], and quantum teleportation (QT) [14, 15] have been proposed to solve various security problems. Some researchers have also studied protocols for continuous variable quantum communication [16, 17].

Recently, quantum private comparison (QPC) has become an important branch in quantum cryptography. Based on the properties of quantum mechanics, the participants can determine whether their secret inputs are equal without disclosing their own secrets to each other. In 2009, Yang et al. [18] presented a pioneering QPC scheme based on Bell states and a hash function. Since then, a large number of QPC protocols have been proposed utilizing entangled states such as Einstein–Podolsky–Rosen (EPR) pairs [18, 22, 24, 26, 27] and Greenberger–Horne–Zeilinger (GHZ) states [19, 21].

However, these QPC protocols [18–27] are feasible in the ideal scenario, but they are not secure in the practical scenario where faults (including noise and error) exist in the quantum channel and measurement. To solve this problem, in 2013, Li et al. [28] presented a novel QPC scheme based on GHZ states that used error-correcting code (ECC) against noise. However, through analyzing Li et al.’s QPC scheme, we found it is insecure under a special attack, called the twice-Hadamard-CNOT attack. To be specific, if any malicious party performed the twice-Hadamard-CNOT attack, he or she could obtain another party’s secret input, which goes against the QPC principles [29]. Here, the twice-Hadamard-CNOT attack is essentially a special controlled-NOT (CNOT) operation used to attack the communication process. The CNOT operation has also been used in other attacks [30] and quantum repeaters [31]. To fix the loophole in Li et al.’s QPC scheme, a simple solution is proposed that utilizes a permutation operator before the third party (TP) distributes the particles to the participants.

The remainder of this paper is organized as follows. Li et al.’s QPC protocol is briefly reviewed in Section 2. In Section 3, we analyze the security of Li et al.’s QPC protocol by introducing the twice-Hadamard-CNOT attack and an improved scheme in the QPC protocol is given in to fix the loophole in Section 4. Finally, our conclusions are summarized in Section 5.

2 Review of Li et al.’s QPC protocol

In Ref. [28], to guarantee the security of the QPC protocol in the practical scenario, Li et al. proposed a novel two-party QPC scheme using quantum ECC and the block transmission method [4]. The protocol consists of the following eight steps.

1) Alice, Bob, and Calvin prepare a [m,n] ECC that uses a m bit code word to encode an n bit word. The ECC can correct l error bits in the code word with the error-correcting function D⁢(xm) according to the fault rate of the noise scenario. We suppose that the generator matrix of the ECC is G and the check matrix is Q. Then, Alice, Bob, and Calvin encode X=(x0,x1,…,xn−1) and Y=(y0,y1,…,yn−1) to X′=(x0′,x1′,…,xm−1′) and Y′=(y0′,y1′,…,ym−1′), respectively, using the generator matrix G:

(1)X′=X⋅G,

(2)Y′=Y⋅G.

2) Calvin prepares m triplet GHZ states that all have the state

(3)|ψ⟩C⁢A⁢B=12(|000⟩+|111⟩)C⁢A⁢B=12(|+++⟩+|+−−⟩+|−+−⟩+|−−+⟩)C⁢A⁢B,

where |0⟩ and |1⟩ are measured in the Z basis, |+⟩ and |−⟩ are measured in the X basis, and |±⟩=12⁢(|0⟩±|1⟩). Then, Calvin divides the GHZ states into three sequences, SA, SB, and SC, which include the first, second, and third particles of all GHZ states, respectively.

3) Calvin randomly prepares decoy photons in states {|0⟩,|1⟩,|+⟩,|−⟩}. He inserts these decoy photons into SA and SB at random positions to form the sequences SA* and SB*, respectively. Calvin retains the quantum sequence SC and sends the sequence SA* to Alice and SB* to Bob.

4) When Alice and Bob receive SA* and SB*, respectively, Calvin announces the positions and measurement bases of the decoy photons. Alice and Bob measure decoy photons in the same base and announce their outcomes. If the error rate exceeds a rational threshold, Calvin aborts the protocol and restarts from Step i). Otherwise, there is no eavesdropper, and the protocol continues to the next step.

5) Alice and Bob recover SA and SB, respectively, by discarding the decoy photons. Then, Alice, Bob, and Calvin measure SA, SB, and SC in X basis, respectively. If the measurement result is |+⟩ (|−⟩), then they encode the result as the classical bit 0 (1). Thus, Alice, Bob, and Calvin will each obtain m bits from SA, SB and SC, respectively. We denote the resulting m bit strings as kiA, kiB, and kiC(i=0,1,…,m−1).

6) Alice and Bob calculate xi′′=kiA⊕xi′ and yi′′=kiB⊕yi′, respectively. They announce X′′=(x0′′,x1′′,…,xm−1′′) and Y′′=(y0′′,y1′′,…,ym−1′′) to Calvin.

7) Calvin calculates ci′=kiC⊕xi′′⊕yi′′ and finds the m bit sequence C′=(c0′,c1′,…,cm−1′).

8) Then, Calvin uses the check matrix Q to verify if the number of error bits exceeds the threshold l. If it does, Calvin aborts the protocol and restarts from Step 1). Otherwise, he obtains the n bit sequence C* by decoding C′ with an error-correcting function D⁢(C′). If there is at least one bit 1 in C*, Calvin announces X≠Y. Otherwise, he announces X=Y.

3 Twice-Hadamard-CNOT attack on Li et al.’s QPC protocol

As analyzed in Ref. [28], some well-known attacks such as the intercept-resend attack, measurement-resend attack, and entanglement-resend attack can be detected in Li et al.’s QPC protocol. However, we found it cannot resist a special attack, i.e., the twice-Hadamard-CNOT attack. To be specific, if either Alice or Bob performs the twice-Hadamard-CNOT attack, he or she can get the other party’s secret input without being detected. The detailed procedure of the twice-Hadamard-CNOT attack is given as follows.

Without loss of generality, we suppose Bob is malicious and wants to get Alice’s secret input. First, Bob prepares m auxiliary particles all in the state |0⟩e. Then, the GHZ state and an auxiliary particle compose a composite system:

(4)η=ψCAB0e=120000+1110CABe=12+++0++--0+-+-0+--+0CABe,

where the subscripts C, A, and B represent the particles in the hand of Calvin, Alice, and Bob, respectively, and the subscript e represents an auxiliary particle.

In Step 3), when Calvin sends the sequence SA* to Alice, Bob may intercept SA* and execute a Hadamard (H) operation on every particle in SA* to form sequence SA**. Then, Bob performs a CNOT operation CA⁢e on every particle in SA** and the corresponding auxiliary particle e. Here, the particle in SA** is the control qubit, while particle e is the target qubit. After the CNOT operation, Bob performs another H operation on every particle in SA** to restore sequence SA** to SA* and sends SA* to Alice. The transmitting sequence SA* remains unchanged.

When Calvin announces the position of the decoy photons in Step 4), Bob can discard the auxiliary particles e corresponding to the decoy photons in SA*. Then, in Step 5), after Bob recovers SB by discarding the decoy photons, he executes an H operation on every particle in SB to form sequence SB**. Bob performs a CNOT operation CB⁢e on every particle (control particle) in SB** and the corresponding auxiliary particle e (target particle). He then performs an H operation on every auxiliary particle and on particle in SB**, which restores SB** to SB. Now, the state of the composite system is changed to

(5)|η′⟩=12(|++⟩C⁢e(|++⟩+|−−⟩)A⁢B+|−−⟩C⁢e(|+−⟩+|−+⟩)A⁢B).

From Eq. (5), the following rule can be deduced: if e is |+⟩, particle A and particle B are in the same state, and if e is |−⟩, particles A and B are in different states.

After Alice announces X′′=(x0′′,x1′′,…,xm−1′′) in Step 6), Bob measures m auxiliary particles in the X basis and obtains the measurement result kie⁢(i=0,1,…,m−1). According to kie and the rule from Eq. (5), Bob can obtain Alice’s states kiA⁢(i=0,1,…,m−1). Because X′ has been announced by Alice, Bob can calculate xi′′⊕kiA=(kiA⊕xi′)⊕kiA=xi′, that is, he can find Alice’s secret input xi′.

The twice-Hadamard-CNOT attack can be intuitively demonstrated by Fig. 1.

4 The improved scheme

To fix the loophole of Li et al.’s QPC protocol, we apply a permutation operator Π† before TP sends the particle sequences to all participants. To be specific, Step 3), Step 4), and Step 5) in the original protocol need to be modified as follows.

3′) Calvin randomly prepares two groups of r-length decoy photons sequences in {|+⟩,|−⟩,|0⟩,|1⟩}, namely RA and RB, and concatenates RA (RB) with SA (SB) to form the extended sequence SA′=RA||SA (SB′=RB||SB). Then, Calvin applies a permutation operator Π(r+m) on SA′ (SB′) to create a new sequence SA*=Π(r+m)⁢SA′ (SB*=Π(r+m)⁢SB′) and sends the new sequence SA* to Alice and SB* to Bob.

4′) When Alice and Bob receive SA* and SB*, Calvin announces the coordinates of the decoy qubits Πr⁢SA′, Πr⁢SB′ (Πr⊂Πr+m) sent to Alice and Bob and the corresponding measurement bases. Note that Calvin does not disclose the actual order of the message qubits. Then, Alice and Bob measure the decoy qubits in the same bases and announce their outcomes. If the error rate exceeds a rational threshold, Calvin aborts the protocol and restarts from Step 1); otherwise, there is no eavesdropper, and the protocol continues to the next step.

5′) Alice and Bob discard their decoy photons and denote the remaining qubits in their hands as SA′′ and SB′′ (i.e., SA′′=Πm⁢SA and SB′′=Πm⁢SB), respectively. Then, Alice, Bob, and Calvin measure SA′′, SB′′, and SC in the X basis, respectively, and obtain m bits, kiA, kiB, and kiC(i=0,1,…,m−1), respectively. After they have completed the measurement operation, Calvin immediately announces the actual order of the message qubits Πm (Πm⊂Πr+m). Using this information, Alice (Bob) can rearrange kiA (kiB) to correspond with the original order of SA (SB).

As shown above, the key point is to add a permutation operator Π in Li et al.’s QPC scheme. Thus, our improved protocol inherits the security properties of the original protocol, i.e., it can resist the intercept-resend attack, measurement-resend attack, entanglement-resend attack, and some special inner attacks successfully discussed in Ref. [28]. Now, let us examine whether our improved scheme can resist the twice-Hadamard-CNOT attack. Similarly, we suppose the malicious Bob aims to find Alice’s secret input. In Step 3’), since Calvin disrupts the sequences SA′ and SB′ using Π(r+m) to find SA* and SB*, the orders of transmitted sequences SA* and SB* are fully disturbed. After discarding the decoy qubits RA and RB in Step 5’), Alice and Bob can only find SA′′ and SB′′ and cannot recover the original sequences SA and SB because Πm is only known by Calvin. Thus, even if Bob launch the twice-Hadamard-CNOT attack, he cannot find the final state |η′⟩=12(|++⟩C⁢e(|++⟩+|−−⟩)A⁢B+|−−⟩C⁢e(+−⟩+|−+⟩)A⁢B). That is to say, Bob cannot determine the correlations between Alice’s and Bob’s qubits by measuring the auxiliary particles e.

For simplicity, we take a simple two-bit private comparison as an example without considering ECC and the decoy photons. In this case, suppose Alice’s input is 10, Bob’s input is 11, and Calvin prepares two GHZ states all in the state given in Eq. (3),

(6)|ψ⟩C1⁢A1⁢B1⊗|ψ⟩C2⁢A2⁢B2=1/2(|+++⟩+|+−−⟩+|−+−⟩+|−−+⟩)C1⁢A1⁢B1⊗1/2(|+++⟩+|+−−⟩+|−+−⟩+|−−+⟩)C2⁢A2⁢B2.

In Step 3’), Calvin executes the permutation operator Πm=2 on sequence SA′ and SB′. Then, the system may be changed into

(7)Πm=2⁢(|ψ⟩C1⁢A1⁢B1⊗|ψ⟩C2⁢A2⁢B2)=|ψ⟩C1⁢A2⁢B2⊗|ψ⟩C2⁢A1⁢B1=1/4{|+⟩C1(|++⟩+|−−⟩)A2⁢B2⊗|+⟩C2(|++⟩+|−−⟩)A1⁢B1+|+⟩C1(|+−⟩+|−+⟩)A2⁢B2⊗|−⟩C2(|++⟩+|−−⟩)A1⁢B1+|−⟩C1(|++⟩+|−−⟩)A2⁢B2⊗|+⟩C2(|+−⟩+|−+⟩)A1⁢B1+|−⟩C1(|+−⟩+|−+⟩)A2⁢B2⊗|−⟩C2(+−⟩+|−+⟩)A1⁢B1}.

After Bob performs the twice-Hadamard-CNOT attack, the composite system that consists of the GHZ state and the auxiliary particle becomes

(8)|η′⟩1⊗|η′⟩2=1/4+C1+e1+++--A2B2⊗|+⟩C2|+⟩e2(|++⟩+|−−⟩)A1⁢B1+|+⟩C1|−⟩e1(|+−⟩+|−+⟩)A2⁢B2⊗|−⟩C2|+⟩e2(|++⟩+|−−⟩)A1⁢B1+|−⟩C1|+⟩e1(|++⟩+|−−⟩)A2⁢B2⊗|+⟩C2|−⟩e2(|+−⟩+|−+⟩)A1⁢B1+|−⟩C1|−⟩e1(|+−⟩+|−+⟩)A2⁢B2⊗|−⟩C2|−⟩e2(|+−⟩+|−+⟩)A1⁢B1}.

From the above equation, we cannot find the correlations between the states of A1 and B1 (A2 and B2) according to the final state of the auxiliary particle e1 (e2). Bob cannot steal Alice’s input by measuring the auxiliary particles. Therefore, our improvement can resist the twice-Hadamard-CNOT attack.

5 Conclusion

In a secure QPC protocol, we must guarantee any participant only knows his or her own secret input without obtaining any other participant’s secret input. In this paper, we reviewed and analyzed Li et al.’s two-party QPC protocol and found that it cannot resist the twice-Hadamard-CNOT attack, i.e., if one participant (Bob) launches this attack, he can get the other party’s (Alice’s) secret input without being detected. To avoid this loophole, we adopt a permutation operator to rearrange the quantum sequences sent to Alice and Bob from Calvin. Moreover, the analysis shows the security of our improved scheme can be guaranteed.

Although we showed that Li et al.’s protocol cannot resist the twice-Hadamard-CNOT attack, some other protocols [32, 33] also show weakness under this special attack. Many published quantum cryptography protocols have continually been identified as insecure. Perhaps one of the reasons for this insecurity is that we are used to applying the non-formalized analytical method (also called the attack-verification method) to verify the protocols, where some given attacks are listed to assault the present protocols. Obviously, this simple and crude analytical method has some shortcomings: (i) it lacks strictness because we cannot list all kinds of attacks, and (ii) even if a protocol can be proved to be secure against the known attacks, we cannot confirm that the protocol is flawless. Currently, formalism analysis and automated verification techniques have been extensively utilized for analyzing the security of the classic protocols and have demonstrated many achievements. It is possible that formalism analysis for quantum protocols will be the best choice to solve the above problems, and this is one direction of our future work.

References

[1]

C. H. Bennett and G. Brassard, Quantum cryptography: Public-key distribution and coin tossing, In: Proceedings of IEEE International conference on Computers, Systems and Signal Processing, IEEE Press, New York, Bangalore, 1984, pp 175–179

[2]

A. K. Ekert, Quantum cryptography based on Bell’s theorem, Phys. Rev. Lett. 67(6), 661 (1991)

[3]

L. M. Liang, S. H. Sun, M. S. Jiang, and C. Y. Li, Security analysis on some experimental quantum key distribution systems with imperfect optical and electrical devices, Front. Phys. 9(5), 613 (2014)

[4]

G. L. Long and X. S. Liu, Theoretically efficient high-capacity quantum-key distribution scheme, Phys. Rev. A 65(3), 032302 (2002)

[5]

F. G. Deng, G. L. Long, and X. S. Liu, Two-step quantum direct communication protocol using the Einstein–Podolsky–Rosen pair block, Phys. Rev. A 68(4), 042317 (2003)

[6]

F. G. Deng and G. L. Long, Secure direct communication with a quantum onetime pad, Phys. Rev. A 69(5), 052319 (2004)

[7]

G. L. Long, F. G. Deng, C. Wang, K. Wen, W. Y. Wang, and X. H. Li, Quantum secure direct communication and deterministic secure quantum communication, Front. Phys. China 2(3), 251 (2007)

[8]

W. J. Liu, H. W. Chen, Z. Q. Li, and Z. H. Liu, Efficient quantum secure direct communication with authentication, Chin. Phys. Lett. 25(7), 2354 (2008)

[9]

W. J. Liu, H. W. Chen, T. H. Ma, Z. Q. Li, Z. H. Liu, and W. B. Hu, An efficient deterministic secure quantum communication scheme based on cluster states and identity authentication, Chinese Phys. B 18(10), 4105 (2009)

[10]

Y. Chang, C. Xu, S. Zhang, and L. Yan, Controlled quantum secure direct communication and authentication protocol based on five-particle cluster state and quantum one-time pad, Chin. Sci. Bull. 59(21), 2541 (2014)

[11]

R. Cleve, D. Gottesman, and H. K. Lo, How to share a quantum secret, Phys. Rev. Lett. 83(3), 648 (1999)

[12]

M. Hillery, V. Bužek, A. Berthiaume, V. Bužek, and A. Berthiaume, Quantum secret sharing, Phys. Rev. A 59(3), 1829 (1999)

[13]

J. Xu, H. W. Chen, W. J. Liu, and Z. H. Liu, Selection of unitary operations in quantum secret sharing without entanglement, Sci. China Inf. Sci. 54(9), 1837 (2011)

[14]

D. Bouwmeester, J. W. Pan, K. Mattle, M. Eibl, H. Weinfurter, and A. Zeilinger, Experimental quantum teleportation, Nature390(6660), 575 (1997)

[15]

A. Furusawa, J. L. Sorensen, S. L. Braunstein, C. A. Fuchs, H. J. Kimble, and E. S. Polzik, Unconditional quantum teleportation, Science 282(5389), 706 (1998)

[16]

A. Vidiella-Barranco and L. F. M. Borelli, Continuous variable quantum key distribution using polarized coherent states, Int. J. Mod. Phys. B 20, 1287 (2009)

[17]

C. D. Xie, J. Zhang, Q. Pan, X. J. Jia, and K. C. Peng, Continuous variable quantum communication with bright entangled optical beams, Front. Phys. China 1(4), 383 (2006)

[18]

Y. G. Yang and Q. Y. Wen, An efficient two-party quantum private comparison protocol with decoy photons and two-photon entanglement, J. Phys. A: Math. Theor. 42(5), 055305 (2009)

[19]

X. B. Chen, G. Xu, X. X. Niu, Q. Y. Wen, and Y. X. Yang, An efficient protocol for the private comparison of equal information based on the triplet entangled state and single-particle measurement, Opt. Commun. 283(7), 1561 (2010)

[20]

H. Y. Jia, Q. Y. Wen, B. Y. Li, and F. Gao, Quantum private comparison using genuine four-particle entangled states, Int. J. Theor. Phys. 51(4), 1187 (2012)

[21]

W. Liu and Y. B. Wang, Quantum private comparison based on GHZ entangled states, Int. J. Theor. Phys. 51(11), 3596 (2012)

[22]

H. Y. Tseng, J. Lin, and T. Hwang, New quantum private comparison protocol using EPR pairs, Quantum Inf. Process. 11(2), 373 (2012)

[23]

W. Huang, Q. Y. Wen, B. Liu, F. Gao, and Y. Sun, Robust and efficient quantum private comparison of equality with collective detection over collective-noise channels, Sci. China Phys. Mech. 56(9), 1670 (2013)

[24]

W. J. Liu, C. Liu, Z. H. Liu, J. F. Liu, and H. T. Geng, Same initial states attack in Yang et al.’s quantum private comparison protocol and the improvement, Int. J. Theor. Phys. 53(1), 271 (2014)

[25]

W. J. Liu, C. Liu, H. W. Chen, Z. H. Liu, M. X. Yuan, and J. S. Lu, Improvement on “an efficient protocol for the quantum private comparison of equality with W state”, Int. J. Quantum Inf. 12(01), 1450001 (2014)

[26]

J. Lin, C. W. Yang, and T. Hwang, Quantum private comparison of equality protocol without a third party, Quantum Inf. Process. 13(2), 239 (2014)

[27]

W. J. Liu, C. Liu, H. W. Chen, Z. Q. Li, and Z. H. Liu, Cryptanalysis and improvement of quantum private comparison protocol based on Bell entangled states, Commun. Theor. Phys. 62(2), 210 (2014)

[28]

Y. B. Li, T. Y. Wang, H. Y. Chen, M. D. Li, and Y. T. Yang, Fault-tolerate quantum private comparison based on GHZ states and ECC, Int. J. Theor. Phys. 52(8), 2818 (2013)

[29]

W. J. Liu, C. Liu, H. B. Wang, and T. T. Jia, Quantum private comparison: A review, IETE Tech. Rev. 30(5), 439 (2013)

[30]

C. Y. Lin and T. Hwang, CNOT extraction attack on “quantum asymmetric cryptography with symmetric keys”, Sci. China Phys. Mech.57(5), 1001 (2014)

[31]

Z. Y. Tong, P. Liao, and L. M. Kuang, Quantum repeaters based on CNOT gate under decoherence, Front. Phys. China 2(4), 389 (2007)

[32]

J. Lin, H. Y. Tseng, and T. Hwang, Intercept-resend attacks on Chen et al.’s quantum private comparison protocol and the improvements, Opt. Commun. 284(9), 2412 (2011)

[33]

W. W. Zhang and K. J. Zhang, Cryptanalysis and improvement of the quantum private comparison protocol with semi-honest third party, Quantum Inf. Process. 12(5), 1981 (2013)

Rights & permissions

© Higher Education Press and Springer-Verlag Berlin Heidelberg 2015

PDF (146KB)

1513

Accesses

0

Citation

Detail

Sections
Recommended

/

〈 〉