1.Big Data Research Center,University of Electronic Science and Technology of China,Chengdu,China;2.School of Computer Science and Engineering,University of Electronic Science and Technology of China,Chengdu,China
Abstract:
The most crucial issue of quantum cryptography protocols is its security. There exists many ways to attack the quantum communication process. In this paper, we present a model checking method for modeling the eavesdropping in quantum information protocols. So when the security properties of a certain protocol are needed to be verified, we can directly use the models which are already built. Here we adopt the probabilistic model checking tool—PRISM to model these attack methods. The verification results show that the detection rate of eavesdropping is approximately close to 1 when enough photons are transmitted.
