Provably Secure Access Authentication Protocol under Universal Network

Universal network and pervasive service is one kind of new network architecture. In this architecture, in order to guarantee the security of access network and terminal, access network authentication must be implemented. Universal network terminal unified access control method only realizes authentication of authentication center, it can't prevent illegal access switch router from cheating the terminal. Aiming at this problem, a Provably Secure Access Authentication Protocol PSAAP is proposed in this paper. This protocol realizes mutual authentication between terminal and authentication center, as well as between access switch router and authentication center, so it can effectively protect unauthorized terminal access network, prevent unauthentic authentication center and access switch router from cheating the terminal. It is provably secure based on BR extended model.