Verification of Quantum Protocols with a Probabilistic Model-Checker

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...

Full description

Saved in:
Bibliographic Details
Published in:Electronic notes in theoretical computer science 2011-02, Vol.270 (1), p.175-182
Main Authors: Tavala, Amir M., Nazem, Soroosh, Babaei-Brojeny, Ali A.
Format: Article
Language:English
Subjects:
Probabilistic modeling
Quantum key distribution
Quantum protocol verification
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1571-0661
1571-0661
DOI:10.1016/j.entcs.2011.01.016