Verification procedure (digital signatures)

Verification procedure: $B$ verifies $A$‘s signature of $(m,s)$ by computing $u=V_A(m,s)$, and only accepting the signature if $u=\text{true}$.