Alice


(K) 0
(a) 0
(A=G^a) 0


Server


(G) 4218
(p) 45293



Bob


(K) 0
(b) 0
(B=G^b) 0