Verification of Quantum Protocols with a Probabilistic Model-Checker

Authors:
Amir M. Tavala;Soroosh Nazem;Ali A. Babaei-Brojeny
Affiliations:
Department of Electrical and Computer Engineering, Isfahan University of Technology, Isfahan 84156-83111, Iran;Department of Electrical and Computer Engineering, Isfahan University of Technology, Isfahan 84156-83111, Iran;Department of Physics, Isfahan University of Technology, Isfahan 84156-83111, Iran
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2011

Citing 3
Cited 0

Unconditional security in quantum cryptography

Journal of the ACM (JACM)
Security of quantum key distribution with imperfect devices

Quantum Information & Computation
Proof of security of quantum key distribution with two-way classical communications

IEEE Transactions on Information Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract

Channel modeling is crucial for studying the behavior of quantum channels in order to build an efficient error correction scheme in addition to security verification of different protocols. While most current analyses of quantum protocols use a traditional mathematical approach, we employ a simpler probabilistic model checking which is more compatible with classical implementations to investigate the dependency of the security on the quantum channel noise. We also compare a couple of eavesdropping strategies from the security point of view.