Formal verification for KMB09 protocol

DOI10.1007/S10773-019-04232-2zbMATH Open1468.81029OpenAlexW2965397453MaRDI QIDQ2010986FDOQ2010986

Authors Guiping Dai 

Publication date 28 November 2019

Published in International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10773-019-04232-2

zbMATH Keywords

verificationprocess algebraquantum computingquantum processes

Mathematics Subject Classification ID

Quantum computation (81P68)

Recommendations

• Specification and verification of quantum protocols
• Verifying quantum communication protocols with ground bisimulation
• Automated verification of quantum protocols using \textsc{mcmas}
• An axiomatization for quantum processes to unifying quantum and classical computing
• Toward automatic verification of quantum cryptographic protocols

Cites Work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1412988 (Why is no real title available?)
• A brief history of process algebra
• A calculus of mobile processes. I
• An algebra of quantum processes
• Bisimulation for quantum processes
• Communicating quantum processes
• Open bisimulation for quantum processes
• Probabilistic bisimulations for quantum processes
• Relations among quantum processes: bisimilarity and congruence
• Types and typechecking for Communicating Quantum Processes

Cited In (3)

• Correctness checking of a quantum protocol for reliable communications via feedback
• An axiomatization for quantum processes to unifying quantum and classical computing
• Automated verification of quantum protocols using \textsc{mcmas}

This page was built for publication: Formal verification for KMB09 protocol

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2010986)