Secure Re-authentication Scheme for 3G-WLAN Integrating Network Based on Protocol Composition Logic

The new re-authentication protocol named SFR is proposed to make up for lack of authentication to access network in existing re-authentication protocol. One kind of key is generated using SKEY authentication algorithm in SFR. SFR is the parallel composition of sub-protocol SFR1 and SFR2. WLAN-UE and HAAA authenticate mutually in SFR1. WLAN-UE and WLAN-AN authenticate mutually in SFR2. The security of new protocol utilizes the PCL formalization proof. The proof indicates that the new protocol has session authentication, key secrecy and can be defense the attack of redirection. SFR achieves faster and secure accessing the 3G-WLAN architectures.