The formal study of quantum cryptography protocols
Fan Yang, Yu‐Jie Hao · 2013
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.