1. 4

Describes the design of a Authenticated Key Exchange for a secure-channel protocol

  1.