Formal verification for KMB09 protocol
From MaRDI portal
Publication:2010986
DOI10.1007/S10773-019-04232-2zbMATH Open1468.81029OpenAlexW2965397453MaRDI QIDQ2010986FDOQ2010986
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
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- A calculus of mobile processes. I
- Title not available (Why is that?)
- A brief history of process algebra
- Probabilistic bisimulations for quantum processes
- Open Bisimulation for Quantum Processes
- An algebra of quantum processes
- Bisimulation for quantum processes
- Relations among quantum processes: bisimilarity and congruence
- Communicating quantum processes
- Types and typechecking for Communicating Quantum Processes
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)
