Abstract: With Canetti-Krawczyk model, a fast authentication protocol of exchanging multiple session keys between two participants is proposed. The security analysis and formal proof show that the proposed protocol is session-key secure with perfect forward secrecy (PFS). Moreover, the implementation of the protocol just need twice communications and a little computation. The results show the efficiency of the protocol in wireless network.