Authentication of Quantum Messages
If a person sends some information over an insecure channel (a dishonest/malicious party has access to the channel), what is the guarantee that the receiver on the other end will receive the same information as sent and not something which is modified or replaced by the dishonest party? Authentication of quantum channels/quantum states/quantum messages provides this guarantee to the users of a quantum communication line/ channel. The sender is called the suppliant (prover) and the receiver is called the authenticator.
Note that, it is different from the functionality of digital signatures, a multi-party (more than two) protocol, which comes with additional properties (non-repudiation, unforgeability and transferability). Authenticating quantum states is possible but signing quantum states is impossible, as concluded in (1). Also, unlike classical message authentication, quantum messages authentication requires encryption. However, classical messages can be publicly readable (not encrypted) and yet authenticated.
- No classical analogue
- Non-interactive Protocols
- Interactive Protocols
- Any scheme which authenticates quantum messages must also encrypt them. (1)
- Definition 1: A quantum authentication scheme (QAS) is a pair of polynomial time quantum algorithms (suppliant) and (authenticator) together with a set of classical keys such that:
- takes as input an -qubit message system and a key and outputs a transmitted system of qubits.
- takes as input the (possibly altered) transmitted system ' and a classical key and outputs two systems: a -qubit message state , and a single qubit which indicates acceptance or rejection. The classical basis states of are called by convention. For any fixed key , we denote the corresponding super-operators by and .
- For non-interactive protocols, a QAS is secure with error for a state if it satisfies:
- Completeness: For all keys
- Soundness: : For all super-operators , let be the state output be when the adversary’s intervention
is characterized by , that is:
- Barnum et al (2002) First protocol on authentication of quantum messages. It is also used later for verification of quantum computation in Interactive Proofs for Quantum Computation. Protocol file for this article is given as the Polynomial Code based Quantum Authentication