Provably Secure ID-based Mutual Authentication and Key Agreement for Multi-server Environment

Abstract

With the popularity of Internet and wireless networks, more and more network architectures are used in multi-server environment, in which mobile users remotely access servers through open networks. In the past, many schemes that have been proposed to solve the issue of mutual authentication and key agreement for multi -server environment and low-power mobile devices. However, most of these schemes have suffered from many attacks after these schemes were proposed since these designers did not provide the formal proofs. In this paper, we first give a security model for multi-server environment. We then propose two ID-based mutual authentication and key agreement (MAKA) schemes from bilinear maps, one is used for general users with a long validity period, and the other one is used for anonymous users. Under the presented security model, we also give the formal proofs of the proposed schemes, and demonstrate that the proposed schemes are well suitable for low-power mobile devices.