Alice Bob
...
Aliceís Public key x
I accept you as Alice, with
Session id SID
Alice - Prover Bob - Verifier
(x,s)