Security analysis of multi-party quantum private comparison protocol by model checking-Reference-Cited by-同舟云学术

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

Published:2015-07-10 Issue:18 Volume:29 Page:1550089
ISSN:0217-9849
Container-title:Modern Physics Letters B
language:en
Short-container-title:Mod. Phys. Lett. B

Author:

Yang Fan¹,Yang Guowu¹,Hao Yujie¹,Luo Qingbin²,Wang Yuqi¹

Affiliation:

1. School of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu 611731, China

2. School of Information and Software Engineering, University of Electronic Science and Technology of China, Chengdu 611731, China

Abstract

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.

Publisher

World Scientific Pub Co Pte Lt

Subject

Condensed Matter Physics,Statistical and Nonlinear Physics

Link

https://www.worldscientific.com/doi/pdf/10.1142/S021798491550089X

Reference23 articles.

1. Cryptography

2. M. Bellare and P. Rogaway , Introduction to Modern Cryptography (University of California, San Diego, CA, 2005), p. 10.

3. Handbook of Applied Cryptography

4. Communication Theory of Secrecy Systems*

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. PROBABILISTIC MODEL CHECKING METHOD FOR ROBOT PERFORMANCE OPTIMISATION, 461-470.;International Journal of Robotics and Automation;2023

2. Two-party quantum private comparison protocol with maximally entangled seven-qubit state;Modern Physics Letters A;2019-09-13

3. Noise-enhanced CVQKD with untrusted source;Modern Physics Letters B;2017-05-31

4. Secure Multi-party Comparison Protocol and Application;Communications in Computer and Information Science;2017