Alice Bob
Aliceís Public
Verification key x
DOC
s=S(s, DOC | R), R
(s,x)
If V(x, ,DOC)=1
Then accept
SID = DOC|R
s