Security analysis of multi-party quantum private comparison protocol by model checking

2015 ◽  
Vol 29 (18) ◽  
pp. 1550089 ◽  
Author(s):  
Fan Yang ◽  
Guowu Yang ◽  
Yujie Hao ◽  
Qingbin Luo ◽  
Yuqi Wang
Keyword(s):  
Model Checking ◽  
Security Analysis ◽  
Entangled States ◽  
Probabilistic Model Checking ◽  
Special Focus ◽  
Quantum Private Comparison ◽  
Analysis Method ◽  
Private Comparison ◽  
Security Properties ◽  
Multi Body

This paper presents an analysis method for quantum information protocols based on model checking, with special focus on the quantum privacy comparison (QPC). The security properties of these protocols can be proved but in ways with much difficulty. Here we will discuss a probabilistic model checking tool — PRISM to verify specific properties of QPC protocol with multi-body and PRISM to verify specific properties of quantum private comparison (QPC) protocol with multi-party and d-dimensional entangled states.

Multi-party quantum private comparison protocol based on $$d$$ d -dimensional entangled states

2014 ◽  
Vol 13 (10) ◽  
pp. 2343-2352 ◽  
Author(s):  
Qing-bin Luo ◽  
Guo-wu Yang ◽  
Kun She ◽  
Wei-na Niu ◽  
Yu-qi Wang
Keyword(s):  
Entangled States ◽  
Quantum Private Comparison ◽  
Private Comparison

scholarly journals Quantum Private Comparison Protocols With a Number of Multi-Particle Entangled States

IEEE Access ◽  
2019 ◽  
Vol 7 ◽  
pp. 44613-44621 ◽  
Author(s):  
Zhaoxu Ji ◽  
Huanguo Zhang ◽  
Houzhen Wang
Keyword(s):  
Entangled States ◽  
Quantum Private Comparison ◽  
Private Comparison

Quantum Private Comparison of Arbitrary Single Qubit States Based on Swap Test

2021 ◽  
Author(s):  
Xi Huang ◽  
Yan Chang ◽  
Wen Cheng ◽  
Min Hou ◽  
Shi-Bin Zhang
Keyword(s):  
Quantum State ◽  
Private Information ◽  
Security Analysis ◽  
Entanglement Swapping ◽  
Third Party ◽  
Quantum Private Comparison ◽  
Single Qubit ◽  
Private Comparison ◽  
Comparison Results ◽  
Qubit States

Abstract In this paper, by using swap test, a quantum private comparison (QPC) protocol of arbitrary single qubit states with a semi-honest third party is proposed. The semi-honest third party (TP) is required to help two participants perform the comparison. She can record intermediate results and do some calculations in the whole process of the protocol execution, but she cannot conspire with any participants. In the process of comparison, TP cannot get two participants' private information except the comparison results. According to the security analysis, the proposed protocol can resist both outsider attacks and participant attacks. Compared with the existing QPC protocols, the proposed one does not require any entanglement swapping technology, and it can compare two participants' qubits by performing swap test, which is easier to implement with current technology. Meanwhile, the proposed protocol can compare secret integers. It encodes secret integers into the amplitude of quantum state rather than transfer them as binary representations, and the encoded quantum state is compared by performing swap test. Additionally, the proposed QPC protocol is extended to the QPC of arbitrary single qubit states by using multi-qubit swap test.

Sign in / Sign up

Export Citation Format

Share Document