Write, autoreview, editor, reviewer
3,129
edits
Line 121: | Line 121: | ||
<u>'''Stage 2.2'''</u> Messaging: Verification</br> | <u>'''Stage 2.2'''</u> Messaging: Verification</br> | ||
'''Input:''' Buyer (Signature <math>(ts, m, B, |S\rangle_{k_{pri}, m})</math>, public key <math>(k_{pub})</math>) | '''Input:''' Buyer (Signature <math>(ts, m, B, |S\rangle_{k_{pri}, m})</math>, public key <math>(k_{pub})</math>)</br> | ||
'''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>. |