Verification of Quantum Protocols with a Probabilistic Model-Checker

DOI10.1016/J.ENTCS.2011.01.016zbMath1347.68241OpenAlexW2109167873WikidataQ113318322 ScholiaQ113318322MaRDI QIDQ2825357

Soroosh Nazem, Ali Akbar Babaei-Brojeny, Amir M. Tavala

Publication date: 7 October 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2011.01.016

zbMATH Keywords

probabilistic modelingquantum key distributionquantum protocol verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Quantum information, communication, networks (quantum-theoretic aspects) (81P45) Quantum cryptography (quantum-theoretic aspects) (81P94)

Related Items (1)

Verification of Quantum Protocols with a Probabilistic Model-Checker

Cites Work

• Verification of Quantum Protocols with a Probabilistic Model-Checker
• Proof of security of quantum key distribution with two-way classical communications
• Unnamed Item

This page was built for publication: Verification of Quantum Protocols with a Probabilistic Model-Checker