Formal verification of quantum communication protocols using Petri nets

Abstract

This paper presents a new formal method for verification of quantum communication protocols. By extending the symbolic system of Petri nets, we can define quantum pure states in Petri-net settings. Therefore, it is possible to emerge a framework from formalizing basic quantum phenomena, which are utilized to achieve communication tasks. We also present an example of applying this framework to the modeling and analyzing quantum communication protocols to show how it works.

arXiv comment5 pages,5 figures,conference

References in corpus (5)

• Simple Proof of Security of the BB84 Quantum Key Distribution Protocol
• Experimental Realization of Teleporting an Unknown Pure Quantum State via Dual Classical and Einstein-Podolski-Rosen Channels
• Protocol for direct counterfactual quantum communication
• An Automated Analysis of the Security of Quantum Key Distribution
• Open Bisimulation for Quantum Processes