Write, autoreview, editor, reviewer
3,125
edits
Measurement Device Independent Quantum Digital Signature (MDI-QDS): Difference between revisions
Jump to navigation
Jump to search
Measurement Device Independent Quantum Digital Signature (MDI-QDS) (edit)
Revision as of 07:19, 3 June 2019
, 3 June 2019no edit summary
No edit summary |
|||
| Line 45: | Line 45: | ||
**'''Symmetrisation''' | **'''Symmetrisation''' | ||
#For k = 0,1 | |||
## Buyer chooses <math>I\subset_R\{1,2,...,L\}, |I|=[L/2]</math> | |||
## <math>\forall i\epsilon I</math>, Buyer sends Verifier <math>(k,i,B^k_i)</math> | |||
## Verifier chooses <math>J\subset_R\{1,2,...,L\}, |J|=[L/2]</math> | |||
## <math>\forall j\epsilon J</math>, Verifier sends Buyer <math>(k,j,V^k_j)</math> | |||
<u>'''Stage 2'''</u> Messaging | <u>'''Stage 2'''</u> Messaging | ||
| Line 59: | Line 59: | ||
# For l = 1,2,..,L | # For l = 1,2,..,L | ||
##If '''<math>l\epsilon \{1,2,...,L\}-I</math>''' | ##If '''<math>l\epsilon \{1,2,...,L\}-I</math>''' | ||
###Buyer counts the number of mismatches (<math>B^m_l!=S^m_l</math>), b=b+1 | |||
##If '''<math>l\epsilon J</math>''' | ##If '''<math>l\epsilon J</math>''' | ||
###Buyer counts the number of mismatches (<math>V^m_l!=S^m_l</math>), v=v+1 | |||
# If <math>(b < s_aL/2)\&\&(v < s_aL/2)</math>, Buyer accepts m else he aborts | # If <math>(b < s_aL/2)\&\&(v < s_aL/2)</math>, Buyer accepts m else he aborts | ||
**'''Transfer''' | **'''Transfer''' | ||
| Line 67: | Line 67: | ||
# For l = 1,2,..,L | # For l = 1,2,..,L | ||
##If '''<math>l\epsilon \{1,2,...,L\}-J</math>''' | ##If '''<math>l\epsilon \{1,2,...,L\}-J</math>''' | ||
###Verifier counts the number of mismatches (<math>V^m_l!=S^m_l</math>), v=v+1 | |||
##If '''<math>l\epsilon I</math>''' | ##If '''<math>l\epsilon I</math>''' | ||
###Verifier counts the number of mismatches (<math>B^m_l!=S^m_l</math>), b=b+1 | |||
# If <math>(b < s_vL/2)\&\&(v < s_vL/2)</math>, Verifier accepts m else he aborts | # If <math>(b < s_vL/2)\&\&(v < s_vL/2)</math>, Verifier accepts m else he aborts | ||
*'''MDI-KGP'''(Seller, Receiver, Arbitrator) | *'''MDI-KGP'''(Seller, Receiver, Arbitrator) | ||
==Further Information== | ==Further Information== | ||