WAPI secure access authentication scheme for heterogeneous networks based on identity-based cryptograph

Considering the access authentication for mobile terminals in the 3G-WLAN heterogeneous networks, a new WAPI secure access authentication scheme based on the identity-based cryptograph was designed. And its security attributes was formally proofed with Protocol Composition Logic. By the security proof and comprehensive analysis, it is showed that the proposed scheme not only has session authentication and key confidentiality, but also can defend man-in-the-middle attack, provide the mutual authentication between UE and 3G networks.