Title :
The formal study of quantum cryptography protocols
Author :
Fan Yang ; Yu-Jie Hao
Author_Institution :
Sch. of Comput. Sci. & Eng., Univ. of Electron. Sci. & Technol. of China, Chengdu, China
Abstract :
The unconditional security is the most important identity of quantum cryptography protocols. Although has been proved, but the process is so complicated to realize. The formal verification method provides an effective way to analyze the security of the protocols, and also achieve the computer automated analysis.
Keywords :
cryptographic protocols; formal verification; quantum cryptography; computer automated analysis; formal verification method; protocol security analysis; quantum cryptography protocols; unconditional security; Cryptography; Formal verification; Model checking; Photonics; Protocols; Quantum mechanics; B92; BB84; formal verification; quantum cryptography;
Conference_Titel :
Wavelet Active Media Technology and Information Processing (ICCWAMTIP), 2013 10th International Computer Conference on
Conference_Location :
Chengdu
Print_ISBN :
978-1-4799-2445-5
DOI :
10.1109/ICCWAMTIP.2013.6716594
