Protocol models: correct attribution of protocol models.

Rereading the ISO standards and the GS paper, it is clear the "ISO-9798" protocols
in the GS paper are in fact not in any of the ISO standards.

Historically they may have been taken from another paper that modified one of the
ISO-9798 authentication protocols to include Diffie-Hellman.