Key establishment : proofs and refutations