In the protocol, the symmetric key is K=Gxy mod N, where G and N are public numbers.

In the protocol, the symmetric key is K=G^xy mod N, where G and N are public numbers.

A Needham-Schroeder

B Otway-Rees