Security Analyses of Quantum Communication Protocols

TL;DR

This paper explores the use of truly concurrent process algebras, APTC and APPTC, to model quantum computing and unify it with classical computing, providing a formal framework for quantum communication protocols.

Contribution

It introduces a novel application of truly concurrent process algebras to quantum computing, extending traditional process algebra frameworks to encompass quantum processes.

Findings

Unified quantum and classical computing models

Formal analysis of quantum communication protocols

Extension of process algebra frameworks to quantum domain

Abstract

Truly concurrent process algebras are generalizations to the traditional process algebras for true concurrency, CTC to CCS, APTC to ACP,$\pi_{tc}$ to $\pi$ calculus, APPTC to probabilistic process algebra.In this book, we utilize truly concurrent process algebras APTC and APPTC to model quantum computing and unify quantum and classical computing.