• Advertise
• Search
• Free Magazines
• Newest Links
• Categories
• Register
• Login

Finite State Analysis of IKE

Added by Papergrl

Description: The aim of this paper is to present the results of modeling Internet Key Exchange (IKE) protocol, using a protocol analyzer called Murf. We analyzed the IKE main mode protocol using incremental approximations to the IKE. The point proved by the analysis is that encryption of the Diffie-Hellman public values in the Public Encryption Keys, main mode revised protocol, hardly makes the protocol any stronger. It only leads to higher computational requirement and does not contribute to the security very much. As such this encryption can be dispensed with, without affecting the overall security.