Prepare and Measure Quantum Digital Signature: Difference between revisions

Jump to navigation Jump to search
no edit summary
No edit summary
Line 29: Line 29:
  Figure
  Figure


The next few sections use the following notations:
===Properties===
----
*The protocol-
# assumes that all classical and quantum channels are [[authenticated]] (secure).
# requires no quantum memory.
# assumes maximum number of participating parties are honest. In the present case at least two parties are honest.
# provides security against repudiation, i.e. the probability that seller succeeds in making buyer and seller disagree on the validity of her sent quantum signature decays exponentially with L, as stated by the formula <math>P(\text{rep})\le e^{-(s_v-s_a)^2L}</math>.
# provides security against forgery, i.e. any recipient (verifier) with high probability rejects any message which was not originally sent by the seller herself. Forging probability is given by the formula, <math>P(\text{forge})\le e^{-(c_{\min}-2s_v)^2L}</math>, where <math>c_{\min}</math> is the minimum possible rate at which buyer declares a single signature element which has been eliminated by the verifier.
 
===Pseudo Code===
----
*'''Notations Used:'''
**L: Length of keys used
**L: Length of keys used
**<math>s_a</math>: Threshold value for signing
**<math>s_a</math>: Threshold value for signing
Line 41: Line 52:
**<math>v^k_l</math>: Verifier’s random bit to determine the measurement basis of <math>l^{th}</math> qubit in <math>|\psi^k\rangle</math>
**<math>v^k_l</math>: Verifier’s random bit to determine the measurement basis of <math>l^{th}</math> qubit in <math>|\psi^k\rangle</math>
**<math>m_{b^k_l}</math>: measurement outcome of <math>b^k_l</math>
**<math>m_{b^k_l}</math>: measurement outcome of <math>b^k_l</math>
===Properties===
----
*The protocol-
# assumes that all classical and quantum channels are [[authenticated]] (secure).
# requires no quantum memory.
# assumes maximum number of participating parties are honest. In the present case at least two parties are honest.
# provides security against repudiation, i.e. the probability that seller succeeds in making buyer and seller disagree on the validity of her sent quantum signature decays exponentially with L, as stated by the formula <math>P(\text{rep})\le e^{-(s_v-s_a)^2L}</math>.
# provides security against forgery, i.e. any recipient (verifier) with high probability rejects any message which was not originally sent by the seller herself. Forging probability is given by the formula, <math>P(\text{forge})\le e^{-(c_{\min}-2s_v)^2L}</math>, where <math>c_{\min}</math> is the minimum possible rate at which buyer declares a single signature element which has been eliminated by the verifier.


===Pseudo Code===
----
<u>'''Stage 1'''</u> Distribution
<u>'''Stage 1'''</u> Distribution
*'''Input''' L
*'''Input''' L
Write, autoreview, editor, reviewer
3,129

edits

Navigation menu