Abstract
In this paper, a quantum version of classical alternating bit protocol is proposed. Thisprotocol provides a reliable method to transmit the secret quantum data via a noisyquantum channel while the entanglement between particles is not broken. Our protocol is based on quantum teleportation and superdense coding. By assuming that the participantscan distinguish the alternating qubit from other messages and also the assumption that data canbe resent unlimited times, an abstraction of this protocol can be derived. Using the quantum process algebra fullqACP, we show that the proposed protocol is correct, so the desired external behaviour of the protocol is guaranteed.
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call