Verification of quantum protocols with a probabilistic model-checker

DOI10.1016/J.ENTCS.2011.01.016MaRDI QIDQ2825357zbMATH OpenOpenAlexWikidataFDO

Authors Amir M. Tavala, Soroosh Nazem, Ali A. Babaei-Brojeny

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)

Recommendations

• The modeling library of eavesdropping methods in quantum cryptography protocols by model checking
• Model checking quantum Markov chains
• Equivalence checking of quantum protocols
• Specification and verification of quantum protocols
• Formalization \textit{of} quantum protocols using Coq

Cites work

• Proof of security of quantum key distribution with two-way classical communications
• Security of quantum key distribution with imperfect devices
• Verification of quantum protocols with a probabilistic model-checker

Cited in

(7)

• Verification of quantum computation: an overview of existing approaches
• Verification of quantum protocols with a probabilistic model-checker
• Security analysis of semi-quantum cryptography protocols by model checking
• Formalization \textit{of} quantum protocols using Coq
• The modeling library of eavesdropping methods in quantum cryptography protocols by model checking
• Robustness verification of quantum classifiers
• Model checking the observational determinism security property using PROMELA and SPIN

This page was built for publication: Verification of quantum protocols with a probabilistic model-checker

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