This video describes in detailed the Diffie–Hellman Key Exchange. A proof on why this protocol works is also given.
No download links available.