Signing procedure (digital signatures)

Signing procedure: $A$ creates a signature for $m\in \mathcal{M}$ by computing $s=S_A(m)$ and transmits pair $(m,s)$.