title: Diffie-Hellman using Casper
body: <p>I have an assignment to model the Diffie-Hellman Key exchange protocol using Casper (in a .spl file).  I got the basics down and am finding it really hard to come up with the correct protocol desciption (#Protocol description).  I searched everywhere and tries everything(as far as my knowledge of Casper can take me) and no solution.  I'm very surprised that there is so little documentation on this.</p>
  
  <p>If anyone could help me get started on this, it would be greatly appreciated.</p>
  
  <p>Thanks in advanced!</p>