Write, autoreview, editor, reviewer
3,129
edits
Arbitrated Quantum Digital Signature: Difference between revisions
→Pseudocode
| Line 115: | Line 115: | ||
## For <math>l = 1, 2, ...n</math>: | ## For <math>l = 1, 2, ...n</math>: | ||
### <math> |F\rangle_l = |F(t_l||m_l||P_l|| t_l s_l)\rangle_l</math></div> | ### <math> |F\rangle_l = |F(t_l||m_l||P_l|| t_l s_l)\rangle_l</math></div> | ||
# Seller encrypts <math>VC(k_{at},(ts, \otimes^{uw}_{l=1}|F\rangle))=E_{k_{at}} and sends to PKG | # Seller encrypts <math>VC(k_{at},(ts, \otimes^{uw}_{l=1}|F\rangle ))=E_{k_{at}}</math> and sends to PKG | ||
# PKG decrypts <math>VC(k_{at},E_{k_{at}})=(ts, \otimes^{uw}_{l=1}|F\rangle)</math> | # PKG decrypts <math>VC(k_{at},E_{k_{at}})=(ts, \otimes^{uw}_{l=1}|F\rangle )</math> | ||
# PKG announces publicly that the quantum digest is ready. | # PKG announces publicly that the quantum digest is ready. | ||
# Seller transmits '''Signature''' <math>(ts, m, B, |S\rangle_{k_{pri}, m})</math> to buyer. | # Seller transmits '''Signature''' <math>(ts, m, B, |S\rangle_{k_{pri}, m})</math> to buyer. | ||
<u>'''Stage 2. | <u>'''Stage 2.2'''</u> Messaging: Verification</br> | ||
'''Input:''' Buyer (Signature <math>(ts, m, B, |S\rangle_{k_{pri}, m})</math>, public key <math>( | '''Input:''' Buyer (Signature <math>(ts, m, B, |S\rangle_{k_{pri}, m})</math>, public key <math>(k_{pub})</math>) | ||
'''Output''': Buyer accepts or rejects the signature | '''Output''': Buyer accepts or rejects the signature | ||
* Buyer operates: <math>|V\rangle_{m, k_{pub},S}</math>. | * Buyer operates: <math>|V\rangle_{m, k_{pub},S}</math>. | ||