Key-exchange(KE) protocol, especially Diffie-Hellman key-exchange protocol is an important and traditional area of cryptography. Most key-exchange protocols seem to be very simple and even intuitive, and thus appearing to be easily designable. But, as particularly pointed out in [1]. the literature has been witnessing that the design of correct and secure KE turns out to be extremely error prone and could be notoriously subtle and difficult. Then gave a definition of key secure and attack model, and proved the security of the fixed protocol in assumption of GDH and in random oracle model. |