ISO KE

\[ \begin{align}\begin{aligned}A -> B : A, g^x\\B -> A : B, g^y, SIG_B (g^x, g^y, A)\\A -> B : SIG_A(g^y, g^x, B)\end{aligned}\end{align} \]