Formal Verification for KMB09 Protocol
International Journal of Theoretical Physics（2019）
摘要
The unifying of qACP and classical ACP under the framework of quantum process configuration 〈 p , ρ 〉 makes verification for quantum protocols possible, not only the pure quantum protocol, but also protocol that mixes quantum information and classical information. In this paper, we verify the KMB09 protocol by use of quantum process algebra qACP.
更多查看译文
关键词
Quantum computing, Quantum processes, Process algebra, Verification
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要