An Alternating Qubit Protocol and Its Correctness Checking
This provides a reliable method for quantum data transmission, but it is incremental as it adapts a classical protocol to quantum settings with specific assumptions.
The paper tackles the problem of reliably transmitting secret quantum data over a noisy channel without breaking entanglement, proposing a quantum version of the classical alternating bit protocol based on quantum teleportation and superdense coding, and shows its correctness using quantum process algebra, guaranteeing desired external behavior.
In this paper, a quantum version of classical alternating bit protocol is proposed. This protocol provides a reliable method to transmit the secret quantum data via a noisy quantum channel while the entanglement between particles is not broken. Our protocol is based on quantum teleportation and superdense coding. By assuming that the participants can distinguish the alternating qubit from other messages and also the assumption that data can be resent unlimited times, an abstraction of this protocol can be derived. Using the quantum process algebra \textit{full} $qACP$, we show that the proposed protocol is correct, so the desired external behaviour of the protocol is guaranteed.