Abstract: In this paper, we first extend the ideal theory of Strand Spaces, and then apply this extended theory to analyzing a complex Internet key exchange protocol, IKE2. We focus on this protoeol＇s core security： keys＇ secrecy and authentication correctness. Thr

Key words: Security protocols, Extended strand spaces, Ideal, IKE2