Cryptanalysis and Improvement of "A Secure Password Authentication Mechanism for Seamless Handover in Proxy Mobile IPv6 Networks"

Mojtaba Alizadeh; Mazdak Zamani; Sabariah Baharun; Azizah Abdul Manaf; Kouichi Sakurai; Hiroki Anada; Hassan Keshavarz; Shehzad Ashraf Chaudhry; Muhammad Khurram Khan

doi:10.1371/journal.pone.0142716

Abstract

Proxy Mobile IPv6 is a network-based localized mobility management protocol that supports mobility without mobile nodes’ participation in mobility signaling. The details of user authentication procedure are not specified in this standard, hence, many authentication schemes have been proposed for this standard. In 2013, Chuang et al., proposed an authentication method for PMIPv6, called SPAM. However, Chuang et al.’s Scheme protects the network against some security attacks, but it is still vulnerable to impersonation and password guessing attacks. In addition, we discuss other security drawbacks such as lack of revocation procedure in case of loss or stolen device, and anonymity issues of the Chuang et al.’s scheme. We further propose an enhanced authentication method to mitigate the security issues of SPAM method and evaluate our scheme using BAN logic.

Citation: Alizadeh M, Zamani M, Baharun S, Abdul Manaf A, Sakurai K, Anada H, et al. (2015) Cryptanalysis and Improvement of "A Secure Password Authentication Mechanism for Seamless Handover in Proxy Mobile IPv6 Networks". PLoS ONE 10(11): e0142716. https://doi.org/10.1371/journal.pone.0142716

Editor: Kim-Kwang Raymond Choo, University of South Australia, AUSTRALIA

Received: August 16, 2015; Accepted: October 26, 2015; Published: November 18, 2015

Copyright: © 2015 Alizadeh et al. This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited

Data Availability: All relevant data are within the paper.

Funding: This work was supported by Malaysia-Japan International Institute of Technology (MJIIT) center at Universiti Teknologi Malaysia, Japan Student Services Organization (JASSO), and Sakurai Lab, Graduate School and Faculty of Information Science and Electrical Engineering, Kyushu University, Fukuoka Japan. Muhammad Khurram Khan extends his sincere appreciations to the Deanship of Scientific Research at King Saud University for its funding for the Prolific Research Group (PRG-1436-16). Authors acknowledge support from Malaysia-Japan International Institute of Technology (MJIIT) center at Universiti Teknologi Malaysia, Japan Student Services Organization (JASSO), and Kyushu University, Fukuoka Japan.

Competing interests: The authors have declared that no competing interests exist.

Introduction

Mobile devices have been experiencing rapid growth as people utilize these devices to access different types of services, including the Internet browsing, file sharing, video conferencing, and multimedia applications, anytime and anywhere [1]. This growth does not appear to halt any time soon even though mobile devices are faced with different challenges in using wireless technologies such as computation limitation, wireless communication bandwidth inadequacy, and security problems. The Mobile IPv6 (MIPv6) [2] is a standard of the Internet Engineering Task Force (IETF), that facilitates the roaming of the mobile nodes in the IPv6 network. This standardized protocol allows the mobile devices to roam inside the network by providing seamless connection to the network.

The nodes mobility must be transparent to the layers above the IP layer; the continuous connection can be seamless, and it may do not require any manual configurations. If the node has to connect to a different network connection during physical movement that utilizes a variant of the subnet prefix, then a mobile node (MN) is required to get a new IP address. If this does not take place, then the MN cannot be reached. In order for this seamless movement to take place, the Mobile IPv6 nodes utilize two addresses namely the Care-Of-Address (CoA) and the Home Address (HoA). The HoA is a permanent and static address, which can be utilized to connect to the MN despite the present location of the node, but the CoA is a dynamic and robust address, which changes according to the present location of the node. In order for the MN to be reached despite its location, the Mobile IPv6 establishes the HA (Home Agent) which functions as a proxy that is stationary [3].

The mobile IPv6 protocols are facing are several problems such as delay, packet loss, and signaling costs. Therefore, various mobility management protocols are suggested to increase the performance of the MIPv6, including, host-based such as the Hierarchical Mobile IPv6 (HMIPv6) [4], Fast Handover for Mobile IPv6 (FMIPv6) [5], and network-based such as the Proxy Mobile IPv6 (PMIPv6) [6]. Among these protocols, Proxy Mobile IPv6 (PMIPv6) gains fewer handover latency and signaling cost [7]. Proxy Mobile IPv6 (PMIPv6) is a network-based mobility management protocol, which offers mobility services for mobile nodes without the involvement of the mobile nodes in signaling communications. This particular protocol is being utilized as a variant of the wireless networks, including the 3GPP2, WiMAX, and the LAN networks as they need a low mobility signaling over the wireless links [8].

The Local Mobility Anchor (LMA), and the Mobile Access Gateway (MAG) are the main mobility entities in the PMIPv6 domain that provide seamless connectivity for the MN. The MAG typically runs on the access router, and manages mobility signaling instead of the MN. Subsequently, the MN in the PMIPv6 does not require any protocol stack modification in order to support the PMIPv6. The MAG and LMA manage the traffic transmitted to and from the MN using a bi-directional tunnel. Based on the MN view, the entire PMIPv6 domain appears as its home network [7].

Researchers have suggested various schemes of authentication for the PMIPv6 standard ever since it was first established in 2008, because the authentication procedure’s details are not specified in the RFC 5213 standard document. Chuang et al., [9] in 2013, suggested the authentication approach known as the SPAM. Nevertheless, the SPAM offers low packet loss and latency rates in comparison to many other schemes; however, it is prone to security threats such as impersonation and password guessing attacks. This study reveals that an attacker can act as a legitimate entity and attack when the mobile device is stolen or lost. In addition, this study demonstrates some present drawbacks in the scheme, including the lack of the revocation process and user anonymity problems. Moreover, the proposed improvement is suggested to make the SPAM secure against the security flaws mentioned above. Finally, the security and privacy of the proposed method is verified and discussed by utilizing the offered security theories and BAN logic, then authentication cost of the proposed method is compared with SPMA scheme.

The rest of this paper is organized in the following manner. The SPAM scheme is reviewed in Section 2. The cryptanalysis of the SPAM approach is established in Section 3. Section 4 provides our proposed solution. In Section 5, we assess the proposed approach by utilizing the security verification theorems. Finally, authentication cost of the proposed method is analyzed and compared to the SPAM scheme.

Review of the SPAM Scheme

The SPAM includes three stages known as the initial registration, mutual authentication process for both the MAG and the MN, and the password changing process. The authentication credentials are stored in smart card under the assumption of using tamper-proof smart card. Table 1 describes the notations utilized in the SPAM scheme.

Download:

Table 1. Notations used in SPAM scheme.

https://doi.org/10.1371/journal.pone.0142716.t001

Initial Registration

The mobile node receives certain credentials for further authentication during the initial registration with the authentication server, AAA. It is assumed that the communication channel between the MN and the AAA server is secure. The initial registration steps are as follows:

MN → AAA: The MN sends its ID and Password to the AAA server using secure channel.
The AAA server checks the ID and password on the MN and then computes the required values as follows. c₁ = h(ID_MN ∥ sv), c₂ = h(PW_MN) ⊕ c₁, c₃ = E_PSK(ID_AAA ∥ sv), c₄ = h(ID_AAA ∥ sv), c₅ = h(sv)
AAA → MN: The AAA stores c₁, c₂, c₃, c₄, c₅, h(), ID_MN in the smart card and sends it to the MN.

The initial procedure is described in Fig 1.

Download:

Fig 1. Initial registration procedure of SPAM method.

https://doi.org/10.1371/journal.pone.0142716.g001

Mutual Authentication between the MN and the MAG

There are two main sections in this mutual authentication; firstly, the MN’s authenticity is checked by the MAG prior to knowing its real ID, and secondly; the MN checks the MAG authentication. The mutual authentication between the MN, and the MAG is described in the following:

The user inserts a smart card and enters its ID and password. The smart card verifies whether the equation, h(PW_MN) ⊕ c₂ = c₁, to check mobile user authentication. Then, it generates N and compute AID_MN = ID_MN ⊕ h(c₅ ∥ N₁) and AUTH_MN = h(c₁ ∥ N₁).
MN → MAG: The authentication request, AID_MN, c₃, E_c₄(AUTH_MN ∥ N₁), is generated by the MN and sent to the MAG.
The MN verification by the MAG: After receiving authentication request, the MAG decrypts c₃ to obtain ID_AAA and sv using PSK, which is a pre-shared symmetric key. Then, the AUTH_MN and N₁ are retrieved by decrypting E_c₄(AUTH_MN ∥ N₁) using c₃. To obtain the ID_MN, the MAG computes c5 and gets ID_MN = AID_MN ⊕ h(c₅ ∥ N₁). After computing c₁ = h(ID_MN ∥ sv), the MAG can verify the MAG authentication by checking the value of AUTH_MN = h(c₁ ∥ N₁) to the value of AUTH_MN obtained from E_c₄(AUTH_MN ∥ N₁). If both AUTH_MN value are the same, the MN is authenticated and the MAG generates N₂, SK_{MN − MAG} = h(c₁ ∥ N₁) that is a session key between the MAG and the MN, and h(ID_MAG ∥ N₂).
MAG → MN: The MAG reply ID_MAG, E_c₄((N₁ + 1)∥N₂ ∥ h(N₂ ∥ ID_MAG)) back to the MN.
The MAG verification: The MN decrypts the E_c₄((N₁ + 1)∥N₂ ∥ h(N₂ ∥ ID_MAG)) and obtains (N₁ + 1) and N₂. Then, it checks the value of h(N₂ ∥ ID_MAG) and (N₁ + 1) for the MAG authentication. After verifying the MAG authenticity, the MN generates a session key, SK_{MN − MAG} = h(N₁ ∥ N₂).
MN → MAG: The MAG computes E_{SK_{MN − MAG}}(N₂ + 1), and sends it to the MAG.
The MAG decrypts the encrypted message using the session key and checks (N₂ + 1) to prevent replay attack.

Fig 2 shows the communication between the MN and the MAG.

Download:

Fig 2. The SPAM authentication procedure between the MN and the MAG.

https://doi.org/10.1371/journal.pone.0142716.g002

After mutual authentication between the MN and the MAG, the mutual authentication between the MAG and the LMA is processed in the SPAM method. The details of this authentication procedure are as follows.

The MAG generates N₃ to compute h(N₃ ∥ ID_MAG).
MAG → LMA: The authentication message, ID_MAG, E_PSK(N₃ ∥ h(N₃ ∥ IDMAG) to the LMA.
The LMA decrypts the received message from the MAG using PSK and retrieves h(N₃ ∥ ID_MAG) and N₃. The LMA computes h(N₃ ∥ ID_MAG) and compares to the received h(N 3 ∥ IDMAG) and N₃. Then, it computes h(N₃ ∥ ID_MAG) and compares to the received h(N₃ ∥ ID_MAG) to check the MAG authenticity. Finally, it generates N₄ and computes the session key, SK_{LMA − MAG} = h(N₃ ∥ N₄), if the MAG is authentic, otherwise, it drops the message.
LMA → MAG: The MAG replies ID_MAG, E_PSK((N₃ + 1)∥N₄ ∥ h(ID_LMA ∥ N₄)) back to the MAG.
The LMA verification: The MAG decrypts E_PSK((N₃ + 1)∥N₄ ∥ h(ID_LMA ∥ N₄)) and obtains (N₃ + 1) and N₄. Then, it checks the value of h(N₄ ∥ ID_LMA) and (N₁ + 1) for the MAG authentication. After verifying the MAG authenticity, the MAG generates a session key, SK_{LMA − MAG} = h(N₃ ∥ N₄).
MAG → LMA: The MAG computes E_{SK_{LMA − MAG}}(N₄ + 1), and sends it to the LMA.
The LMA decrypts the encrypted message using the session key and checks (N₄ + 1) to prevent the replay attack.

The message exchange flow chart of mutual authentication between the LMA and the MAG is illustrated in Fig 3.

Download:

Fig 3. The authentication procedure between the MAG and the LMA.

https://doi.org/10.1371/journal.pone.0142716.g003

SPAM Password Change Phase

The SPAM scheme provides the password change process. Mobile users are able to change their passwords without contacting other entities like the AAA server and the MAG. The procedure is described as follows:

The user inserts the smart card and enters his ID and password.
The smart card verifies user ID by checking h(PW_MN) ⊕ c₂ = c₁. If the equation is correct, then lets user to enter new password, . After receiving the new password, the smart card computes and replaces c₂ by .

The password change flow chart is described in Fig 4.

Download:

Fig 4. SPAM password change procedure.

https://doi.org/10.1371/journal.pone.0142716.g004

Security Issues of the SPAM Method

This section discusses the security strengths of the authentication methods in the PMIPv6 using the assumption that smart cards are not exactly free from tampering. The suitable authentication method should fulfill some security and privacy criteria such as anonymity, mutual authentication, session key secrecy, and user unlinkability [10–15]. Furthermore, authentication schemes should secure enough against some security attacks such as session hijacking, denial of service, impersonation, replay, password guessing, man-in-the-middle, stolen-verifier, and eavesdropping attacks [16–24]. Therefore, we discuss the security and privacy of the SPAM method under the assumption that smart cards are not exactly free from tampering. In addition, the potential for utilizing smart cards in PMIPv6 that are tamper resistant are explained according to these researchers [25–31] by offering several examples. After that, the SPAM method’s security issues are discussed using certain evidences.

The conventional remote authentication using passwords [32, 33] utilizes a password table, which is stored in an authentication server. This kind of approach is susceptible to attacks on password, including password dictionary attacks, offline guessing attack, tampering of the password table, and corruption attacks. This also gives rise to an increase overhead for protecting and maintaining the password table. Therefore, many smart card based password authentication schemes that do not require a password table have been proposed [34–43] to improve security of the authentication protocols. However, these schemes remain vulnerable to sophisticated attacks that use offline password dictionary searches, observation of power consumption, or physically exposition of the chip to extract the data it stores [44].

Khan et al. [26] and Rhee et al. [29] claim that mobile devices, including smart phones, PDAs, and notebooks are not free from tampering and users’ data inside the mobile devices are susceptible to different forms of security attacks [31]. Various methods have been suggested to crack the security of smart cards in the past few years. For instance, Kocher et al. [45] proposed the potential of retrieving the smart card’s secret key by observing the smart card’s power consumption. The vulnerability of the smart card is observed through its power analysis attack [46]. Another form of the threat against the smart cards is the fault-based cryptanalysis, as demonstrated by Bellcore’s press release [47]. This attack occurs when an attacker initiates a particular form of fault into the mobile device and later retrieves the secrets embedded within according to the incorrect responses received from the mobile devices. Therefore, given the assumption of utilizing a non-tamper-proof smart card, many of the authentication methods in the PMIPv6 are susceptible to different forms of attacks like the impersonation attack; thus, making it is crucial to offer an appropriate method of authentication according to the assumption of the non-tamper-proof smart card.

This paper assumes that the attacker could have complete control of the channel of communication between the MAG and the MN, and he/she would be able to change, insert, and tap into any messages of communication. In the following sections, the security and privacy issues of the SPAM method are discussed.

The MN Impersonation Attack

Mobile devices such as smartphones, PDAs, and Tablets are vulnerable to threats such as stolen or loss. In addition, most of the authentication mechanisms use smart card to store critical information such as secret keys, passwords, and encryption functions. Therefore, if an attacker access to smart card inside mobile devices and steal the keys, even if he leaves the mobile device intact, he can impersonate legitimate user or access point [26, 48](Khan and Kumari, 2014; Wei-Chi and Chang, 2005). In SPAM method, the information are stored in smart card, hence impersonation attack can be launched. The smart card in the SPAM method contains (ID_MN, C₁, C₂, C₃, C₄, C₅, h()), if an attacker accesses to this smart card secrets, and sniffs the first message, (AID_MN, c₃, E_C₄(AUTH_MN ∥ N₁)) between the MN and the MAG in login phase, he can impersonate the MN as follows:

First, an attacker generates his own nonce, , then computes , and using retrieved secrets from smart card an login request message, ID_MN, C₁, and C₅.
An attacker generates authentication request, , and sends it to the MAG.
The MAG decrypts C₃ using PSK and obtains ID_AAA and sv. Then, calculates C₄ = h(ID_AAA ∥ sv) to decrypts Ec4(AUTH_A||N ∗ 1) to obtain the value of AUTH_A and N_1*. The MAG computes and h(ID_MN ∥ sv) = C₁. Finally, for checking MN authentication, the MAG compares the value of the to the value of AUTH_MN obtained from . It is clear that the value, AUTH_MN, which is retrieved from , is equal to the value, AUTH_MN, retrieved from , because AUTH_MN, is generated using the values, C₁, C₂, and , which can be captured or generated by an attacker. This means an attacker is authenticated to the MAG successfully.

The MAG Impersonation Attack

Similar to the MN impersonation attack, we assume that an attacker retrieved the smart cart secrets, (ID_MN, C₁, C₂, C₃, C₄, C₅, h()), and sniffed the login request, (AID_MN, c₃, E_C₄(AUTH_MN ∥ N₁)). An attacker can impersonate the MAG as follows:

An attacker decrypts E_C₄(AUTH_MN ∥ N₁) to get N₁, then generate , and selects a fake . Finally, computes and sends it back to the MN.
The MN decrypts to obtain (N₁ + 1) and . Then, it checks the value, , and (N₁ + 1) for the MAG authentication. As the value, N₁ is the original nonce issued by the MN, then, the MN verifies (N₁ + 1), which means an attacker is authenticated to the MN. When an attacker is verified, the MN completes the rest of authentication.

Anonymity

The SPAM method does not preserve the MN anonymity. An attacker can easily find the ID_MN using the intercepted login request and smart card secrets. Firstly, an attacker extracts E_C₄(AUTH_MN ∥ N₁) in the login request message, (AID_MN, C₃, E_C₄(AUTH_MN ∥ N₁)), and decrypts it using C₄ to get N₁. After obtaining N₁, the ID_MN can be retrieved by computing, ID_MN = AID_MN ⊕ h(C₅ ∥ N₁), because an attacker received (AID_MN) from login request, and (C₅) from smart card. Secondly, ID_MAG can be retrieved from the message, (ID_MAG, E_C₄((N₁ + 1)∥N₂ ∥ h(ID_MAG ∥ N₂))), as this message is sent by the MAG to the MN in a plain text, during the mutual authentication phase. Clearly, the anonymity of user is not protected because an attacker can find the ID of network entity.

Lack of Revocation of Smart Card

The revocation procedure is used in case of the MN misbehavior or lost mobile device. The user can report the loss of the mobile device to the AAA server to prevent the further security problems like impersonation attack [30] in case of the lost or stolen mobile device. The revocation procedure is not provided for the SPAM method.

Password Guessing Attack

In this section, we show that how an attacker can retrieve the MN password using intercepted login message based on the reference [49, 50]. An attacker can get the value, (AID_MN, C₃, E_C₄(AUTH_MN ∥ N₁)) and the stored information inside the smart card, (ID_MN, C₁, C₂, C₃, C₄, C₅, h()). From the equation, C₂ = h(PW_MN) ⊕ C₁, as an attacker knows C₁ and C₂, he can compute h(PW_MN) = C₁ ⊕ C₂. Now, he can guess a password and compute , then check if , if so, then an attacker possesses PW_MN.

Proposed Method

In the section, our proposed enhancement is described. First, we change registration phase in the way that if even an attacker finds the secrets inside the smart card, he cannot launch impersonation attack. Subsequently, mutual authentication procedure between the MN and the MAG is proposed. The main is idea is that smart card needs user name and password of the MN to calculate other secrets and initiate authentication.

Initial Registration Procedure

In this phase, the AAA server generates the secrets for the MN. The main objective of the improvement is to prevent revealing smart card information in the case of a stolen or loss device. All the stored information in smart card should be useless for an attacker. We introduce an extra value, R_MN, in this step. Fig 5 depicts the initial registration procedure.

Download:

Fig 5. Registration procedure of the proposed method.

https://doi.org/10.1371/journal.pone.0142716.g005

Authentication Procedure

The MN should perform mutual authentication with the MAG when it joins to the localized mobility domain. We assume that an attacker can retrieve the secrets inside the smart card if the case of the stolen or lost mobile device. The main idea of our approach is not to store critical secrets inside the smart card. The mobile user enters his ID and password to the smart card to start the authentication procedure. The proposed authentication procedure is as follows:

The user inserts a smart card and enters its ID and password. First, it computes S₁ = h(ID_MN ∥ PW_MN) ⊕ S₄. The smart card checks if, h(PW_MN) ⊕ S₂ = S₁, then generates N₁ and computes S₃ = S₆ ⊕ S₁, AID_MN = S₁ ⊕ S₆, and AUTH_MN = h(S₁ ∥ N₁).
MN → MAG: The authentication request is formatted as AID_MN, E_S₁(AUTH_MN ∥N₁) and sent to the MAG by the MN.
The MN verification by the MAG: After receiving the authentication request, the MAG decrypts AID = S₁ ⊕ S₆ = E_PSK(ID_MN ∥ sv ∥ aMN) to obtain ID_MN, aMN and sv using PSK, which is a pre-shared symmetric key between the MAG and AAA. Then, it computes S₁ = h(ID_MN ∥ sv) to decrypt E_S₁(AUTHM_NM ∥ N₁) and retrieve AUTH_MN and N₁. To obtain the ID_MN, the MAG computes C₅ and gets ID_MN = AID_MN ⊕ h(C₅ ∥ N₁). After computing S₁ = h(ID_MN ∥ sv), the MAG can verify the MAG authentication by checking the value of AUTH_MN = h(S₁ ∥ N₁) to the value of AUTH_MN obtained from E_S₁(AUTH_MN ∥ N₁). If both AUTH_MN values are the same, the MN is authenticated and the MAG generates N₂, SK_{MN − MAG} = h(N₁ ∥ N₂) that is a session key between the MAG and the MN, and h(ID_MAG ∥ N₂).
MAG → MN: The MAG replies E_S₁((N₁ + 1)∥N₂ ∥ ID_MAG ∥ h(N₂ ∥ ID_MAG) back to the MN.
The MAG verification: The MN decrypts E_S₁(N1 + 1)∥N₂ ∥ h(N₂ ∥ ID_M AG)) to obtain (N₁ + 1) and N₂. Then, it checks the value of h(N₂ ∥ ID_MAG) and (N₁ + 1) for the MAG authentication. After verifying the MAG authenticity, the MN generates a session key, SK_{MN − MAG} = h(N₁ ∥ N₂).
MN → MAG: The MAG computes E_{SK_{MN − MAG}}(N₂ + 1), and sends it to the MAG.
The MAG decrypts the received message using the session key and checks (N₂ + 1) to prevent replay attack.

This mutual authentication between the MN and the MAG is described in Fig 6.

Download:

Fig 6. The Proposed authentication procedure between the MN and the MAG.

https://doi.org/10.1371/journal.pone.0142716.g006

Password Change Phase

We improved the password change phase as described in Fig 7. It is worth noticing that the random number, R_MN, should be changed as well the user password, PW_MN. The symbol,, means the new value in Fig 7.

Download:

Fig 7. The password change procedure of the proposed method.

https://doi.org/10.1371/journal.pone.0142716.g007

It worth noticing the mutual authentication procedure between the MAG and the LMA in our proposed method is the same as the SPAM method.

Revocation Procedure

The revocation phase can be applied for the SPAM authentication scheme to protect the network entities in case of lost or stolen of smart card. Firstly, the mobile user requests the AAA server for its revocation. Then, the AAA server checks the user credentials, which can be the values known by the user. In case of revocation, the AAA server revokes all the secrets of the mobile user and creates a new set of secrets for the mobile user. Later on, the mobile user can re-register to the AAA server.

Security Analysis of the Proposed Scheme

In this section, we analyze the security and privacy of the proposed enhanced method. Furthermore, the security comparison of the SPAM authentication scheme is provided to prove the security improvement of our proposed method. The proposed authentication method satisfies following requirements:

Anonymity

We applied two methods to protect the MN and the MAG anonymity. For the MN anonymity, we generate an alias ID for the MN, AID_MN = E_PSK(ID_MN ∥ sv ∥ aMN). The ID of the mobile node is mixed with aMN, and secret key sv. An adversary cannot find ID_MN the without knowing the secret key PSK. Furthermore, the use of aMN and sv restricts the adversary to launch identity guessing attack. Furthermore, in the SPAM scheme, the ID_MAG is transferred in the plain text during mutual authentication between the MN and the MAG. In our proposed methods; we mix the ID_MAG with the MAG nonce, N₂, then we encrypt using one-way hash function and N₂ in the message, E_S₁((N₁ + 1)∥N₂ ∥ h(N₂ ∥ ID_MAG)). An attacker must know N₂ and N₁ to find the ID_MAG, which is impossible for him because he does not know N₂ and N₁ even if he accesses to the smart card.

Mutual Authentication

The mutual authentication between the MN and the MAG is provided in proposed method. As it is shown in Fig 6, the MAG checks the MN authentication in Step 3, by comparing the value, AUTHMN received from the MN and the value, h(S₁ ∥ N₁), where it calculates S₁ = h(ID_MN ∥ sv). Furthermore, the MN checks the MAG authenticity is Step 5 by checking the value of h(N₂ ∥ ID_MAG) and (N₁ + 1). Actually, the mobile node checks the value of its nonce, N₁ to be sure that the MAG is legitimate, as the authentic MAG has the pre-shared secrets to decrypt the received messages from the MN.

Revocation Procedure

The revocation of the lost mobile device is provided in proposed method to prevent further security threats against the PMIPv6. In case of loss or stealing the mobile device, the mobile user can inform the AAA server and request to revoke his secret credentials. Therefore, the mobile user can re-register to the AAA server.

Resistance to the MN Impersonation Attack

An attacker must know some values such as S₁, S₆, ID_MN, and N₁ to generate the required values, AID_MN = E_PSK(ID_MN ∥ sv ∥ aMN) and AUTH_MN = h(S₁ ∥ N₁) and impersonate the MN. Under the assumption of not using tamper-proof smart card; we assume that an attacker can accesses to the smart card, S₂, S₄, S₅, S₆, and even sniffs the communication messages, he cannot find out the values, AID_MN, and AUTH_MN because he does not know the values, S₁, S₃, ID_MN, and R_MN.

Resistance to the MAG Impersonation Attack

To impersonate the MAG, an attacker must know the value, S₅, which is the symmetric key between the network entities, to decrypt the sniffed message, E_S₁((N₁ + 1)∥N₂ ∥ h(N₂ ∥ ID_MAG)). Furthermore, both the MN and the MAG nonce are required to decrypt this message.

Resistance to Replay Attack

A nonce is used for both the MN and the Mag during authentication procedure to prevent replay attack in the proposed method. Therefore, if an attacker intercepts the authentication communication messages and accesses to the secrets inside the smart card, he cannot replay the sniffed messages, as the MAG or the MN rejects the request because of using invalid nonce by an attacker.

Forgery Attack Resistance

In this section, we discuss that a valid MN cannot launch forgery attack. If an attacker uses the it secrets, S₂, S₄, S₅, S₆, to forge another valid MN, it is impossible to find AUTH_MN because he does not know the AAA secret key, sv, to calculate S₁ = h(ID_MN ∥ sv), an then use it to get AUTH_MN = h(S₁ ∥ N₁). As explained in Fig 6, the valid MN must calculate AUTH_MN to initiate authentication procedure.

Denial-of-service Attack Resistance

The denial-of-service (DoS) can be discussed in two different situations in our proposed method. First, when the mobile user inserts wrong username and password during the login phase, if there is no suitable mechanism, the smart card processes some procedure and sends the login request to the MAG. In our proposed method, the smart card checks the username and password of the mobile user before computing login request. As described in Fig 6, Step 1, the smart card checks the validity of the mobile user before generating N₁ and the rest of procedure. Second, an attacker can launch DoS attack by requesting password change; however, the smart card first checks PW_MN and R_MN before updating with new values, and . Therefore, DoS cannot happen by requesting password change message.

Resistance to Password Guessing Attack

In the proposed method, an attacker should know at least ID_MN, to find RPW_MN for guessing the password, which is impossible as we protect the mobile user privacy by using alias ID of the MN, AID_MN instead of real mobile node ID, ID_MN. Furthermore, even an attacker can get to find ID_MN; he cannot guess the password because he does not know the R_MN to calculate RPW_MN = h(PW_MN ∥ R_MN).

Stolen-verified Attack Resistance

The verification table is not required for the AAA server in our method. Therefore, an attacker cannot obtain the authentication secrets of the MN, even if he can access to the AAA server data base. In addition, the MAG does not need the verification table to verify the mobile node authenticity. In other words, even if the MAG reveals the MN secrets, an attacker cannot find another required information for authentication procedure. The security and privacy comparison between SPAM scheme and the proposed enhancement is summarized in Table 2.

Download:

Table 2. Comparison between proposed scheme and Chuang et al.s scheme.

https://doi.org/10.1371/journal.pone.0142716.t002

Formal Security Analysis

Formal security analysis techniques are commonly used to analyze and evaluate various authentication schemes. According to literature [51–59], many security analysis methods can be employed to evaluate authentication methods. These methods can be categorized into three groups [60]; modal logic such as BAN logic [61], and GNY [62]; theorem proving; model checking such as AVISPA [63] and ProVerif [64]. In this paper, we used both security theorems and BAN logic.

BAN Logic

BAN logic is widely used to analyze security vulnerabilities of security schemes. It consists of three main steps, including translating a target scheme into an idealized version, defining assumption, and applying BAN logic rules to achieve the intended beliefs. The notations of this logic are described in Table 3.

Download:

Table 3. BAN logic notations.

https://doi.org/10.1371/journal.pone.0142716.t003

In order to evaluate the security scheme, BAN logic rules should be applied. We just use some of these rules as follows:

R1: Message-meaning rule:
R2: Jurisdiction rule:
R3: Freshness-conjuncatenation rule:
R4: Break conjuncatenation rule:

The main goals of our proposed method are mutual authentication between the MN and the MAG. Furthermore, both the MN and the MAG should believe in the shared key. Based on BAN logic and our objectives, the goals of our proposed method are as follows:

After identifying the main objectives of our proposed method, the communication messages are transformed to the idealized version.

The initial assumptions of our proposed method are as follows:

In this section, we analyzed our proposed method based on idealized messages and the assumptions using BAN logic rules. The proofs are as follows:

According to message M1.1 and assumptions A5 (message-meaning rule):
1. S1: MAG∣≡MN∣∼
According to S1 and assumptions A1 (freshness-conjuncatenation):
1. S2: MAG∣≡MN∣≡
According to message S2 and BAN logic break conjuncatenation rule:
According to message M1.2 and S3 (message-meaning rule):
1. S4: MAG∣≡MN∣∼
According to S4 and assumptions A1 (freshness-conjuncatenation):
1. S5: MAG∣≡MN∣≡
According to message S5 and BAN logic break conjuncatenation rule:
1. (Goal 1)
According to message S6 and A7 and BAN logic jurisdiction rule:
1. (Goal 2)
According to message M2 and assumptions A4 (message-meaning rule):
1. S8: MN∣≡MAG∣∼
According to S8 and assumptions A3 (freshness-conjuncatenation):
1. S9: MN∣≡MAG∣≡
According to message S9 and BAN logic break conjuncatenation rule:
1. (Goal 3)
According to message S10 and A6 and BAN logic jurisdiction rule:
1. (Goal 4)

Performance Analysis

The performance of our proposed method is analyzed in this section. We evaluate authentication procedure for our proposed method and compare to SPAM (Ming-Chin et al., 2013). The notations used in this evaluation are provided as follows:

T_hash: Hash function execution time
T_xor: XOR operation execution time
T_sym: Symmetric cryptography execution time
T_ran: Time for generating a random number

The performance of our proposed method is evaluated according to the methodology used in [65–69] and described in Table 4. The computation time for one-way hash function, symmetric cryptography, and random number generation time [70], are 0.0005 s, 0.0087 s, and 0.063075 s respectively. The computation time for XOR operation can be ignored because it trivial compare to other operations. It worth noticing that the computation time for each cryptographic operation is calculated relatively and is not the exact amount, because computation time varies based on the computation resource of network entities. In memory efficiency section, we assume that the length of ID, PW, random number, and output of hash function, is 128 bits. Table 3 summarizes performance evaluation of our proposed method and SPAM method based on criteria such as communication cost, memory requirement, and computational cost. The proposed method requires 640 bits memory space in smart card, but SPAM requires memory storage, 768 bits. Likewise, the communication cost of the proposed scheme is 896 bits, and SPAM requires 1152 bits. Similarly, the proposed scheme also having less computation cost as compared with Chuang et al.’s scheme.

Download:

Table 4. Performance comparison between proposed scheme and SPAM.

https://doi.org/10.1371/journal.pone.0142716.t004

Conclusion

In this paper, we show that how an attacker can launch different attacks such as impersonation attack and password guessing attack using smart card secrets and sniffed login request message on Chuang et al.’s scheme. Furthermore, other security flaws such as lack of revocation procedure in case of loss or stolen device, and anonymity issues of this scheme, are discussed. In addition, we proposed an enhanced scheme to cover the discussed security drawbacks. The security of the proposed scheme is analyzed using BAN logic. The results show that proposed scheme while mitigating all the discussed security flaws, is also more efficient in terms of memory communication and computation costs.

Acknowledgments

Authors acknowledge the support from Malaysia-Japan International Institute of Technology (MJIIT) center at Universiti Teknologi Malaysia, Japan Student Services Organization (JASSO), and Kyushu University, Fukuoka, Japan. The authors extend their sincere appreciations to the Deanship of Scientific Research at King Saud University for its funding this Prolific Research Group (PRG-1436-16).

Author Contributions

Conceived and designed the experiments: MA. Performed the experiments: MA. Analyzed the data: MZ SB AAM HK. Contributed reagents/materials/analysis tools: KS MKK HA. Wrote the paper: SAC. Analyzed and evaluated manuscript: MKK.

References

1. Soto I, Bernardos CJ, Calderón M, Melia T. PMIPv6: A Network-Based Localized Mobility Management Solution. The Internet Protocol Journal. 2010;13(3):2–15. Available from: http://goo.gl/mF8KBl.
- View Article
- Google Scholar
2. Johnson D, Perkins C, Arkko J. Mobility Support in IPv6. RFC 3775. 2004;Available from: http://tools.ietf.org/html/rfc3775.
3. Kim S, Koo J, Oh H. Ticket-Based Binding Update Protocol for Mobile IPv6. In: Madria S, Claypool K, Kannan R, Uppuluri P, Gore M, editors. Distributed Computing and Internet Technology SE—6. vol. 4317 of Lecture Notes in Computer Science. Springer Berlin Heidelberg; 2006. p. 63–72. Available from: http://dx.doi.org/10.1007/11951957_6.
4. Soliman H, Bellier L, Elmalki K, Castelluccia C. Hierarchical Mobile IPv6 (HMIPv6) Mobility Management-RFC 5380. IETF; 2008. Available from: https://tools.ietf.org/html/rfc5380.
5. Koodli ER. Mobile IPv6 Fast Handovers. RFC5568. IETF; 2009. Available from: https://tools.ietf.org/html/rfc5568.
6. Gundavelli S, Leung L, Devarapalli V, Chowdhury K, Patil B. Proxy Mobile IPv6-RFC 5213. IETF; 2008. Available from: https://tools.ietf.org/html/rfc5213.
7. Chiussi FM, Khotimsky DA, Krishnan S. Mobility management in third-generation all-IP networks; 2002. Available from: http://dx.doi.org/10.1109/MCOM.2002.1031839.
8. Jiang Q, Ma J, Li G, Ye A. Security Enhancement on an Authentication Method for Proxy Mobile IPv6. In: Jiang L, editor. International Conference on Informatics, Cybernetics, and Computer Engineering. Melbourne, Australia; 2012. p. 345–352. Available from: http://dx.doi.org/10.1007/978-3-642-25185-6_45.
9. Chuang MC, Lee JF, Chen MC. SPAM: A Secure Password Authentication Mechanism for Seamless Handover in Proxy Mobile IPv6 Networks. IEEE Systems Journal. 2013;7(1):102–113. Available from: http://dx.doi.org/10.1109/JSYST.2012.2209276.
- View Article
- Google Scholar
10. Alizadeh M, Baharun S, Zamani M, Khodadadi T, Darvishi M, Gholizadeh S, et al. Anonymity and Untraceability Assessment of Authentication Protocols in PMIPv6. Jurnal Teknologi. 2015;72(5):31–34. Available from: http://dx.doi.org/10.11113/jt.v72.3936.
- View Article
- Google Scholar
11. Choo KKR. Secure Key Establishment. vol. 41. Springer Science & Business Media; 2009. Available from: http://dx.doi.org/10.1007/978-0-387-87969-7.
12. Li X, Niu J, Khurram Khan M, Liao J. An enhanced smart card based remote user password authentication scheme. Journal of Network and Computer Applications. 2013 Sep;36(5):1365–1371. Available from: http://dx.doi.org/10.1016/j.jnca.2013.02.034.
- View Article
- Google Scholar
13. Nam J, Choo KKR, Han S, Kim M, Paik J, Won D. Efficient and Anonymous Two-Factor User Authentication in Wireless Sensor Networks: Achieving User Anonymity with Lightweight Sensor Computation. PLoS ONE. 2015 Apr;10(4):e0116709. Available from: http://dx.doi.org/10.1371%2Fjournal.pone.0116709. pmid:25849359
- View Article
- PubMed/NCBI
- Google Scholar
14. Farash MS, Chaudhry SA, Heydari M, Sajad Sadough SM, Kumari S, Khan MK. A lightweight anonymous authentication scheme for consumer roaming in ubiquitous networks with provable security. International Journal of Communication Systems. 2015;Available from: http://dx.doi.org/10.1002/dac.3019.
- View Article
- Google Scholar
15. Wang S, Cao Z, Cheng Z, Choo KK. Perfect forward secure identity-based authenticated key agreement protocol in the escrow mode. Science in China Series F: Information Sciences. 2009;52(8):1358–1370. Available from: http://dx.doi.org/10.1007/s11432-009-0135-4.
- View Article
- Google Scholar
16. Alizadeh M, Zamani M, Baharun S, Hassan WH, Khodadadi T. Security and Privacy Criteria to Evaluate Authentication Mechanisms in Proxy Mobile IPv6. Jurnal Teknologi. 2015;72(5):27–30. Available from: http://dx.doi.org/10.11113/jt.v72.3935.
- View Article
- Google Scholar
17. Raymond Choo KK, Boyd C, Hitchcock Y. The importance of proofs of security for key establishment protocols: Formal analysis of Jan-Chen, Yang-Shen-Shieh, Kim-Huh-Hwang-Lee, Lin-Sun-Hwang, and Yeh-Sun protocols. Computer Communications. 2006 Sep;29(15):2788–2797. Available from: http://dx.doi.org/10.1016/j.comcom.2005.10.030.
- View Article
- Google Scholar
18. Chaudhry SA, Farash MS, Naqvi H, Kumari S, Khan MK. An enhanced privacy preserving remote user authentication scheme with provable security. Security and Communication Networks. 2015;Available from: http://dx.doi.org/10.1002/sec.1299.
- View Article
- Google Scholar
19. Li X, Niu J, Wang Z, Chen C. Applying biometrics to design three factor remote user authentication scheme with key agreement. Security and Communication Networks. 2013;7(10):1488–1497. Available from: http://dx.doi.org/10.1002/sec.767.
- View Article
- Google Scholar
20. He D, Kumar N, Chilamkurti N. A secure temporal-credential-based mutual authentication and key agreement scheme with pseudo identity for wireless sensor networks. Information Sciences. 2015 Nov;321:263–277. Available from: http://dx.doi.org/10.1016/j.ins.2015.02.010.
- View Article
- Google Scholar
21. Nam J, Choo KKR, Kim M, Paik J, Won D. Dictionary Attacks against Password-Based Authenticated Three-Party Key Exchange Protocols (2013). KSII Transactions on Internet and Information Systems (TIIS). 2013;7(12):3244–3260. Available from: http://dx.doi.org/10.3837/tiis.2013.12.016.
- View Article
- Google Scholar
22. Chaudhry SA. Comment on ‘Robust and efficient password authenticated key agreement with user anonymity for session initiation protocol-based communications’ (2015). IET Communications. 2015;9(7):1034–1034. Available from: http://dx.doi.org/10.1049/iet-com.2014.1082.
- View Article
- Google Scholar
23. Li X, Niu JW, Ma J, Wang WD, Liu CL. Cryptanalysis and improvement of a biometrics-based remote user authentication scheme using smart cards. Journal of Network and Computer Applications. 2011 Jan;34(1):73–79. Available from: http://dx.doi.org/10.1016/j.jnca.2010.09.003.
- View Article
- Google Scholar
24. Chaudhry S, Naqvi H, Shon T, Sher M, Farash M. Cryptanalysis and Improvement of an Improved Two Factor Authentication Protocol for Telecare Medical Information Systems. Journal of Medical Systems. 2015;39(6):1–11. Available from: http://dx.doi.org/10.1007/s10916-015-0244-0.
- View Article
- Google Scholar
25. Ma CG, Wang D, Zhao SD. Security flaws in two improved remote user authentication schemes using smart cards. International Journal of Communication Systems. 2012;27(10):2215–2227. Available from: http://dx.doi.org/10.1002/dac.2468.
- View Article
- Google Scholar
26. Khan MK, Kumari S. Cryptanalysis and Improvement of “An Efficient and Secure Dynamic ID-based Authentication Scheme for Telecare Medical Information Systems”. Security and Communication Networks. 2014;7(2):399–408. Available from: http://dx.doi.org/10.1002/sec.791.
- View Article
- Google Scholar
27. Xu J, Zhu WT, Feng DG. An improved smart card based password authentication scheme with provable security. Computer Standards and Interfaces. 2009 Jun;31(4):723–728. Available from: http://dx.doi.org/10.1016/j.csi.2008.09.006.
- View Article
- Google Scholar
28. Wang Yy, Liu Jy, Xiao Fx, Dan J. A More Efficient and Secure Dynamic ID-based Remote User Authentication Scheme. Computer communications. 2009;32(4):583–585. Available from: http://dx.doi.org/10.1016/j.comcom.2008.11.008.
- View Article
- Google Scholar
29. Rhee HS, Kwon JO, Lee DH. A remote user authentication scheme without using smart cards. Computer Standards & Interfaces. 2009 Jan;31(1):6–13. Available from: http://dx.doi.org/10.1016/j.csi.2007.11.017.
- View Article
- Google Scholar
30. Fan CI, Chan YC, Zhang ZK. Robust remote authentication scheme with smart cards. Computers & Security. 2005 Nov;24(8):619–628. Available from: http://dx.doi.org/10.1016/j.cose.2005.03.006.
- View Article
- Google Scholar
31. Messerges TS, Dabbish EA, Sloan RH. Examining smart-card security under the threat of power analysis attacks. IEEE Transactions on Computers. 2002;51(5):541–552. Available from: http://dx.doi.org/10.1109/TC.2002.1004593.
- View Article
- Google Scholar
32. Haller N. The S/KEY One-Time Password System. In: Proceedings of 1994 internet society symposium on network and distributed system security. San Diego, USA; 1994. p. 151–157. Available from: https://tools.ietf.org/html/rfc1760.
33. Lamport L. Password authentication with insecure communication. Communications of the ACM. 1981;24(11):770–772. Available from: http://dx.doi.org/10.1145/358790.358797.
- View Article
- Google Scholar
34. Hwang MSHMS, Li LHLLH. A new remote user authentication scheme using smart cards. IEEE Transactions on Consumer Electronics. 2000;46(1):28–30. Available from: http://dx.doi.org/10.1109/30.826377.
- View Article
- Google Scholar
35. Lee NY, Chiu YC. Improved remote authentication scheme with smart card. Computer Standards & Interfaces. 2005 Jan;27(2):177–180. Available from: http://dx.doi.org/10.1016/j.csi.2004.06.001.
- View Article
- Google Scholar
36. Lee SW, Kim HS, Yoo KY. Improvement of Chien et al.’s remote user authentication scheme using smart cards. Computer Standards & Interfaces. 2005 Jan;27(2):181–183. Available from: http://dx.doi.org/10.1016/j.csi.2004.02.002.
- View Article
- Google Scholar
37. Chien HY, Jan JK, Tseng YM. A modified remote login authentication scheme based on geometric approach. Journal of Systems and Software. 2001 Jan;55(3):287–290. Available from: http://dx.doi.org/10.1016/S0164-1212(00)00077-7.
- View Article
- Google Scholar
38. Das ML, Saxena A, Gulati VP. A dynamic ID-based remote user authentication scheme. IEEE Transactions on Consumer Electronics. 2004;50(2):629–631. Available from: http://dx.doi.org/10.1109/TCE.2004.1309441.
- View Article
- Google Scholar
39. Juang WS. Efficient multi-server password authenticated key agreement using smart cards. IEEE Transactions on Consumer Electronics. 2004;50(1):251–255. Available from: http://dx.doi.org/10.1109/TCE.2004.1277870.
- View Article
- Google Scholar
40. He D, Zeadally S. Authentication protocol for an ambient assisted living system; 2015. Available from: http://dx.doi.org/10.1109/MCOM.2015.7010518.
41. Li X, Xiong Y, Ma J, Wang W. An efficient and security dynamic identity based authentication protocol for multi-server architecture using smart cards. Journal of Network and Computer Applications. 2012 Mar;35(2):763–769. Available from: http://dx.doi.org/10.1016/j.jnca.2011.11.009.
- View Article
- Google Scholar
42. Kumari S, Chaudhry S, Wu F, Li X, Farash M, Khan M. An improved smart card based authentication scheme for session initiation protocol. Peer-to-Peer Networking and Applications. 2015;p. 1–14. Available from: http://dx.doi.org/10.1007/s12083-015-0409-0.
- View Article
- Google Scholar
43. Li X, Ma J, Wang W, Xiong Y, Zhang J. A novel smart card and dynamic ID based remote user authentication scheme for multi-server environments. Mathematical and Computer Modelling. 2013 Jul;58(1-2):85–95. Available from: http://dx.doi.org/10.1016/j.mcm.2012.06.033.
- View Article
- Google Scholar
44. Chen HM, Lo JW, Yeh CK. An Efficient and Secure Dynamic ID-based Authentication Scheme for Telecare Medical Information Systems. Journal of Medical Systems. 2012;36(6):3907–3915. Available from: http://dx.doi.org/10.1007/s10916-012-9862-y. pmid:22673892
- View Article
- PubMed/NCBI
- Google Scholar
45. Kocher P, Jaffe J, Jun B. Introduction to differential power analysis and related attacks; 1998. Available from: http://goo.gl/Z9AINa.
46. Kocher P, Jaffe J, Jun B. Differential Power Analysis. In: Advances in Cryptology- CRYPTO’ 99. Springer Berlin Heidelberg; 1999. p. 388–397. Available from: http://dx.doi.org/10.1007/3-540-48405-1_25.
47. Boneh D, DeMillo R, Lipton R. New Threat Model Breaks Crypto Codes. Bellcore Press Release. 1996;Available from: http://goo.gl/gMujHn.
48. Ku WC. Impersonation Attack on a Dynamic ID-Based Remote User Authentication Scheme Using Smart Cards. IEICE Transactions on Communications. 2005;E88-B:2165–2167. Available from: http://dx.doi.org/10.1093/ietcom/e88-b.5.2165.
- View Article
- Google Scholar
49. Khan MK, Kumari S, Gupta MK, Muhaya FTB. Cryptanalysis of Truong et al.’s fingerprint biometric remote authentication scheme using mobile device. In: 6th International Conference on Brain Inspired Cognitive Systems. vol. 7888 LNAI. Beijing, China; 2013. p. 271–277. Available from: http://dx.doi.org/10.1007/978-3-642-38786-9_31.
50. Yoon EJ, Yoo KY. Comments on modified user friendly remote authentication scheme with smart cards. IEICE Transactions on Communications. 2007;90(2):331–333. Available from: http://dx.doi.org/10.1093/ietcom/e90-b.2.331.
- View Article
- Google Scholar
51. Ch S, Uddin N, Sher M, Ghani A, Naqvi H, Irshad A. An efficient signcryption scheme with forward secrecy and public verifiability based on hyper elliptic curve cryptography. Multimedia Tools and Applications. 2015;74(5):1711–1723. Available from: http://dx.doi.org/10.1007/s11042-014-2283-9.
- View Article
- Google Scholar
52. Chaudhry S, Naqvi H, Sher M, Farash M, Hassan M. An improved and provably secure privacy preserving authentication protocol for SIP. Peer-to-Peer Networking and Applications. 2015;p. 1–15. Available from: http://dx.doi.org/10.1007/s12083-015-0400-9.
- View Article
- Google Scholar
53. Choo KKR. An integrative framework to protocol analysis and repair: Bellare-Rogaway model plus planning plus model checker. Informatica. 2007;18(4):547–568. Available from: http://goo.gl/xwjtJp.
- View Article
- Google Scholar
54. Choo KKR, Nam J, Won D. A mechanical approach to derive identity-based protocols from Diffie-Hellman-based protocols. Information Sciences. 2014 Oct;281:182–200. Available from: http://dx.doi.org/10.1016/j.ins.2014.05.041.
- View Article
- Google Scholar
55. Shen J, Tan H, Wang J, Wang J, Lee S. A Novel Routing Protocol Providing Good Transmission Reliability in Underwater Sensor Networks. Journal of Internet Technology. 2015;16(1):171–178. Available from: http://goo.gl/hkYdf9.
- View Article
- Google Scholar
56. Choo KKR. A proof of revised Yahalom protocol in the Bellare and Rogaway (1993) model. Computer Journal. 2007;50(5):591–601. Available from: http://dx.doi.org/10.1093/comjnl/bxm019.
- View Article
- Google Scholar
57. Chaudhry S, Farash M, Naqvi H, Sher M. A secure and efficient authenticated encryption for electronic payment systems using elliptic curve cryptography. Electronic Commerce Research. 2015;p. 1–27. Available from: http://dx.doi.org/10.1007/s10660-015-9192-5.
- View Article
- Google Scholar
58. Guo P, Wang J, Geng XH, Kim CS, Kim JU. A Variable Threshold-value Authentication Architecture for Wireless Mesh Networks. JIT Journal of Internet Technology. 2014;15(6):929–935. Available from: http://goo.gl/7IBFZ6.
- View Article
- Google Scholar
59. He D, Wang D. Robust Biometrics-Based Authentication Scheme for Multiserver Environment. IEEE Systems Journal. 2015;9(3):816–823. Available from: http://dx.doi.org/10.1109/JSYST.2014.2301517.
- View Article
- Google Scholar
60. You I. Design and analysis of mobile internet security protocol by using [Thesis]. Kyushu University; 2012.
61. Burrows M, Abadi M, Needham R. A logic of authentication. ACM Transactions on Computer Systems. 1990;8:18–36. Available from: http://dx.doi.org/10.1098/rspa.1989.0125.
- View Article
- Google Scholar
62. Mathuria aM, Safavi-naini R, Nickolas PR. On the automation of GNY logic. Australian Computer Science Communications. 1995;17:370–379. Available from: http://goo.gl/NDqTNe.
- View Article
- Google Scholar
63. Armando A, Basin D, Boichut Y, Chevalier Y, Compagna L, Cuellar J, et al. The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. In: Etessami K, Rajamani S, editors. Computer Aided Verification SE- 27. vol. 3576 of Lecture Notes in Computer Science. Springer Berlin Heidelberg; 2005. p. 281–285. Available from: http://dx.doi.org/10.1007/11513988_27.
64. Blanchet B. ProVerif: Cryptographic protocol verifier in the formal model; 2012. Available from: http://goo.gl/AIznu8.
65. Hsieh WB, Leu JS. Anonymous authentication protocol based on elliptic curve Diffie-Hellman for wireless access networks. Wireless Communications and Mobile Computing. 2014;14(10):995–1006. Available from: http://dx.doi.org/10.1002/wcm.2252.
- View Article
- Google Scholar
66. He D, Zhang Y, Chen J. Cryptanalysis and Improvement of an Anonymous Authentication Protocol for Wireless Access Networks. Wireless Personal Communications. 2014;74(2):229–243. Available from: http://dx.doi.org/10.1007/s11277-013-1282-x.
- View Article
- Google Scholar
67. Li CT, Hwang MS, Chu YP. A secure and efficient communication scheme with authenticated key establishment and privacy preserving for vehicular ad hoc networks. Computer Communications. 2008 Jul;31(12):2803–2814. Available from: http://dx.doi.org/10.1016/j.comcom.2007.12.005.
- View Article
- Google Scholar
68. Wen F, Li X. An improved dynamic ID-based remote user authentication with key agreement scheme. Computers and Electrical Engineering. 2012;38(2):381–387. Available from: http://dx.doi.org/10.1016/j.compeleceng.2011.11.010.
- View Article
- Google Scholar
69. Kumari S, Gupta MK, Khan MK, Li X. An improved timestamp-based password authentication scheme: comments, cryptanalysis, and improvement. Security and Communication Networks. 2014;7(11):1921–1932. Available from: http://dx.doi.org/10.1002/sec.906.
- View Article
- Google Scholar
70. Koblitz N, Menezes A, Vanstone S. The State of Elliptic Curve Cryptography. In: Koblitz N, editor. Towards a Quarter-Century of Public Key Cryptography SE—5. Springer US; 2000. p. 103–123. Available from: http://dx.doi.org/10.1007/978-1-4757-6856-5_5.

[ref1] 1. Soto I, Bernardos CJ, Calderón M, Melia T. PMIPv6: A Network-Based Localized Mobility Management Solution. The Internet Protocol Journal. 2010;13(3):2–15. Available from: http://goo.gl/mF8KBl.
View Article
Google Scholar

[2] View Article

[3] Google Scholar

[ref2] 2. Johnson D, Perkins C, Arkko J. Mobility Support in IPv6. RFC 3775. 2004;Available from: http://tools.ietf.org/html/rfc3775.

[ref3] 3. Kim S, Koo J, Oh H. Ticket-Based Binding Update Protocol for Mobile IPv6. In: Madria S, Claypool K, Kannan R, Uppuluri P, Gore M, editors. Distributed Computing and Internet Technology SE—6. vol. 4317 of Lecture Notes in Computer Science. Springer Berlin Heidelberg; 2006. p. 63–72. Available from: http://dx.doi.org/10.1007/11951957_6.

[ref4] 4. Soliman H, Bellier L, Elmalki K, Castelluccia C. Hierarchical Mobile IPv6 (HMIPv6) Mobility Management-RFC 5380. IETF; 2008. Available from: https://tools.ietf.org/html/rfc5380.

[ref5] 5. Koodli ER. Mobile IPv6 Fast Handovers. RFC5568. IETF; 2009. Available from: https://tools.ietf.org/html/rfc5568.

[ref6] 6. Gundavelli S, Leung L, Devarapalli V, Chowdhury K, Patil B. Proxy Mobile IPv6-RFC 5213. IETF; 2008. Available from: https://tools.ietf.org/html/rfc5213.

[ref7] 7. Chiussi FM, Khotimsky DA, Krishnan S. Mobility management in third-generation all-IP networks; 2002. Available from: http://dx.doi.org/10.1109/MCOM.2002.1031839.

[ref8] 8. Jiang Q, Ma J, Li G, Ye A. Security Enhancement on an Authentication Method for Proxy Mobile IPv6. In: Jiang L, editor. International Conference on Informatics, Cybernetics, and Computer Engineering. Melbourne, Australia; 2012. p. 345–352. Available from: http://dx.doi.org/10.1007/978-3-642-25185-6_45.

[ref9] 9. Chuang MC, Lee JF, Chen MC. SPAM: A Secure Password Authentication Mechanism for Seamless Handover in Proxy Mobile IPv6 Networks. IEEE Systems Journal. 2013;7(1):102–113. Available from: http://dx.doi.org/10.1109/JSYST.2012.2209276.
View Article
Google Scholar

[12] View Article

[13] Google Scholar

[ref10] 10. Alizadeh M, Baharun S, Zamani M, Khodadadi T, Darvishi M, Gholizadeh S, et al. Anonymity and Untraceability Assessment of Authentication Protocols in PMIPv6. Jurnal Teknologi. 2015;72(5):31–34. Available from: http://dx.doi.org/10.11113/jt.v72.3936.
View Article
Google Scholar

[15] View Article

[16] Google Scholar

[ref11] 11. Choo KKR. Secure Key Establishment. vol. 41. Springer Science & Business Media; 2009. Available from: http://dx.doi.org/10.1007/978-0-387-87969-7.

[ref12] 12. Li X, Niu J, Khurram Khan M, Liao J. An enhanced smart card based remote user password authentication scheme. Journal of Network and Computer Applications. 2013 Sep;36(5):1365–1371. Available from: http://dx.doi.org/10.1016/j.jnca.2013.02.034.
View Article
Google Scholar

[19] View Article

[20] Google Scholar

[ref13] 13. Nam J, Choo KKR, Han S, Kim M, Paik J, Won D. Efficient and Anonymous Two-Factor User Authentication in Wireless Sensor Networks: Achieving User Anonymity with Lightweight Sensor Computation. PLoS ONE. 2015 Apr;10(4):e0116709. Available from: http://dx.doi.org/10.1371%2Fjournal.pone.0116709. pmid:25849359
View Article
PubMed/NCBI
Google Scholar

[22] View Article

[23] PubMed/NCBI

[24] Google Scholar

[ref14] 14. Farash MS, Chaudhry SA, Heydari M, Sajad Sadough SM, Kumari S, Khan MK. A lightweight anonymous authentication scheme for consumer roaming in ubiquitous networks with provable security. International Journal of Communication Systems. 2015;Available from: http://dx.doi.org/10.1002/dac.3019.
View Article
Google Scholar

[26] View Article

[27] Google Scholar

[ref15] 15. Wang S, Cao Z, Cheng Z, Choo KK. Perfect forward secure identity-based authenticated key agreement protocol in the escrow mode. Science in China Series F: Information Sciences. 2009;52(8):1358–1370. Available from: http://dx.doi.org/10.1007/s11432-009-0135-4.
View Article
Google Scholar

[29] View Article

[30] Google Scholar

[ref16] 16. Alizadeh M, Zamani M, Baharun S, Hassan WH, Khodadadi T. Security and Privacy Criteria to Evaluate Authentication Mechanisms in Proxy Mobile IPv6. Jurnal Teknologi. 2015;72(5):27–30. Available from: http://dx.doi.org/10.11113/jt.v72.3935.
View Article
Google Scholar

[32] View Article

[33] Google Scholar

[ref17] 17. Raymond Choo KK, Boyd C, Hitchcock Y. The importance of proofs of security for key establishment protocols: Formal analysis of Jan-Chen, Yang-Shen-Shieh, Kim-Huh-Hwang-Lee, Lin-Sun-Hwang, and Yeh-Sun protocols. Computer Communications. 2006 Sep;29(15):2788–2797. Available from: http://dx.doi.org/10.1016/j.comcom.2005.10.030.
View Article
Google Scholar

[35] View Article

[36] Google Scholar

[ref18] 18. Chaudhry SA, Farash MS, Naqvi H, Kumari S, Khan MK. An enhanced privacy preserving remote user authentication scheme with provable security. Security and Communication Networks. 2015;Available from: http://dx.doi.org/10.1002/sec.1299.
View Article
Google Scholar

[38] View Article

[39] Google Scholar

[ref19] 19. Li X, Niu J, Wang Z, Chen C. Applying biometrics to design three factor remote user authentication scheme with key agreement. Security and Communication Networks. 2013;7(10):1488–1497. Available from: http://dx.doi.org/10.1002/sec.767.
View Article
Google Scholar

[41] View Article

[42] Google Scholar

[ref20] 20. He D, Kumar N, Chilamkurti N. A secure temporal-credential-based mutual authentication and key agreement scheme with pseudo identity for wireless sensor networks. Information Sciences. 2015 Nov;321:263–277. Available from: http://dx.doi.org/10.1016/j.ins.2015.02.010.
View Article
Google Scholar

[44] View Article

[45] Google Scholar

[ref21] 21. Nam J, Choo KKR, Kim M, Paik J, Won D. Dictionary Attacks against Password-Based Authenticated Three-Party Key Exchange Protocols (2013). KSII Transactions on Internet and Information Systems (TIIS). 2013;7(12):3244–3260. Available from: http://dx.doi.org/10.3837/tiis.2013.12.016.
View Article
Google Scholar

[47] View Article

[48] Google Scholar

[ref22] 22. Chaudhry SA. Comment on ‘Robust and efficient password authenticated key agreement with user anonymity for session initiation protocol-based communications’ (2015). IET Communications. 2015;9(7):1034–1034. Available from: http://dx.doi.org/10.1049/iet-com.2014.1082.
View Article
Google Scholar

[50] View Article

[51] Google Scholar

[ref23] 23. Li X, Niu JW, Ma J, Wang WD, Liu CL. Cryptanalysis and improvement of a biometrics-based remote user authentication scheme using smart cards. Journal of Network and Computer Applications. 2011 Jan;34(1):73–79. Available from: http://dx.doi.org/10.1016/j.jnca.2010.09.003.
View Article
Google Scholar

[53] View Article

[54] Google Scholar

[ref24] 24. Chaudhry S, Naqvi H, Shon T, Sher M, Farash M. Cryptanalysis and Improvement of an Improved Two Factor Authentication Protocol for Telecare Medical Information Systems. Journal of Medical Systems. 2015;39(6):1–11. Available from: http://dx.doi.org/10.1007/s10916-015-0244-0.
View Article
Google Scholar

[56] View Article

[57] Google Scholar

[ref25] 25. Ma CG, Wang D, Zhao SD. Security flaws in two improved remote user authentication schemes using smart cards. International Journal of Communication Systems. 2012;27(10):2215–2227. Available from: http://dx.doi.org/10.1002/dac.2468.
View Article
Google Scholar

[59] View Article

[60] Google Scholar

[ref26] 26. Khan MK, Kumari S. Cryptanalysis and Improvement of “An Efficient and Secure Dynamic ID-based Authentication Scheme for Telecare Medical Information Systems”. Security and Communication Networks. 2014;7(2):399–408. Available from: http://dx.doi.org/10.1002/sec.791.
View Article
Google Scholar

[62] View Article

[63] Google Scholar

[ref27] 27. Xu J, Zhu WT, Feng DG. An improved smart card based password authentication scheme with provable security. Computer Standards and Interfaces. 2009 Jun;31(4):723–728. Available from: http://dx.doi.org/10.1016/j.csi.2008.09.006.
View Article
Google Scholar

[65] View Article

[66] Google Scholar

[ref28] 28. Wang Yy, Liu Jy, Xiao Fx, Dan J. A More Efficient and Secure Dynamic ID-based Remote User Authentication Scheme. Computer communications. 2009;32(4):583–585. Available from: http://dx.doi.org/10.1016/j.comcom.2008.11.008.
View Article
Google Scholar

[68] View Article

[69] Google Scholar

[ref29] 29. Rhee HS, Kwon JO, Lee DH. A remote user authentication scheme without using smart cards. Computer Standards & Interfaces. 2009 Jan;31(1):6–13. Available from: http://dx.doi.org/10.1016/j.csi.2007.11.017.
View Article
Google Scholar

[71] View Article

[72] Google Scholar

[ref30] 30. Fan CI, Chan YC, Zhang ZK. Robust remote authentication scheme with smart cards. Computers & Security. 2005 Nov;24(8):619–628. Available from: http://dx.doi.org/10.1016/j.cose.2005.03.006.
View Article
Google Scholar

[74] View Article

[75] Google Scholar

[ref31] 31. Messerges TS, Dabbish EA, Sloan RH. Examining smart-card security under the threat of power analysis attacks. IEEE Transactions on Computers. 2002;51(5):541–552. Available from: http://dx.doi.org/10.1109/TC.2002.1004593.
View Article
Google Scholar

[77] View Article

[78] Google Scholar

[ref32] 32. Haller N. The S/KEY One-Time Password System. In: Proceedings of 1994 internet society symposium on network and distributed system security. San Diego, USA; 1994. p. 151–157. Available from: https://tools.ietf.org/html/rfc1760.

[ref33] 33. Lamport L. Password authentication with insecure communication. Communications of the ACM. 1981;24(11):770–772. Available from: http://dx.doi.org/10.1145/358790.358797.
View Article
Google Scholar

[81] View Article

[82] Google Scholar

[ref34] 34. Hwang MSHMS, Li LHLLH. A new remote user authentication scheme using smart cards. IEEE Transactions on Consumer Electronics. 2000;46(1):28–30. Available from: http://dx.doi.org/10.1109/30.826377.
View Article
Google Scholar

[84] View Article

[85] Google Scholar

[ref35] 35. Lee NY, Chiu YC. Improved remote authentication scheme with smart card. Computer Standards & Interfaces. 2005 Jan;27(2):177–180. Available from: http://dx.doi.org/10.1016/j.csi.2004.06.001.
View Article
Google Scholar

[87] View Article

[88] Google Scholar

[ref36] 36. Lee SW, Kim HS, Yoo KY. Improvement of Chien et al.’s remote user authentication scheme using smart cards. Computer Standards & Interfaces. 2005 Jan;27(2):181–183. Available from: http://dx.doi.org/10.1016/j.csi.2004.02.002.
View Article
Google Scholar

[90] View Article

[91] Google Scholar

[ref37] 37. Chien HY, Jan JK, Tseng YM. A modified remote login authentication scheme based on geometric approach. Journal of Systems and Software. 2001 Jan;55(3):287–290. Available from: http://dx.doi.org/10.1016/S0164-1212(00)00077-7.
View Article
Google Scholar

[93] View Article

[94] Google Scholar

[ref38] 38. Das ML, Saxena A, Gulati VP. A dynamic ID-based remote user authentication scheme. IEEE Transactions on Consumer Electronics. 2004;50(2):629–631. Available from: http://dx.doi.org/10.1109/TCE.2004.1309441.
View Article
Google Scholar

[96] View Article

[97] Google Scholar

[ref39] 39. Juang WS. Efficient multi-server password authenticated key agreement using smart cards. IEEE Transactions on Consumer Electronics. 2004;50(1):251–255. Available from: http://dx.doi.org/10.1109/TCE.2004.1277870.
View Article
Google Scholar

[99] View Article

[100] Google Scholar

[ref40] 40. He D, Zeadally S. Authentication protocol for an ambient assisted living system; 2015. Available from: http://dx.doi.org/10.1109/MCOM.2015.7010518.

[ref41] 41. Li X, Xiong Y, Ma J, Wang W. An efficient and security dynamic identity based authentication protocol for multi-server architecture using smart cards. Journal of Network and Computer Applications. 2012 Mar;35(2):763–769. Available from: http://dx.doi.org/10.1016/j.jnca.2011.11.009.
View Article
Google Scholar

[103] View Article

[104] Google Scholar

[ref42] 42. Kumari S, Chaudhry S, Wu F, Li X, Farash M, Khan M. An improved smart card based authentication scheme for session initiation protocol. Peer-to-Peer Networking and Applications. 2015;p. 1–14. Available from: http://dx.doi.org/10.1007/s12083-015-0409-0.
View Article
Google Scholar

[106] View Article

[107] Google Scholar

[ref43] 43. Li X, Ma J, Wang W, Xiong Y, Zhang J. A novel smart card and dynamic ID based remote user authentication scheme for multi-server environments. Mathematical and Computer Modelling. 2013 Jul;58(1-2):85–95. Available from: http://dx.doi.org/10.1016/j.mcm.2012.06.033.
View Article
Google Scholar

[109] View Article

[110] Google Scholar

[ref44] 44. Chen HM, Lo JW, Yeh CK. An Efficient and Secure Dynamic ID-based Authentication Scheme for Telecare Medical Information Systems. Journal of Medical Systems. 2012;36(6):3907–3915. Available from: http://dx.doi.org/10.1007/s10916-012-9862-y. pmid:22673892
View Article
PubMed/NCBI
Google Scholar

[112] View Article

[113] PubMed/NCBI

[114] Google Scholar

[ref45] 45. Kocher P, Jaffe J, Jun B. Introduction to differential power analysis and related attacks; 1998. Available from: http://goo.gl/Z9AINa.

[ref46] 46. Kocher P, Jaffe J, Jun B. Differential Power Analysis. In: Advances in Cryptology- CRYPTO’ 99. Springer Berlin Heidelberg; 1999. p. 388–397. Available from: http://dx.doi.org/10.1007/3-540-48405-1_25.

[ref47] 47. Boneh D, DeMillo R, Lipton R. New Threat Model Breaks Crypto Codes. Bellcore Press Release. 1996;Available from: http://goo.gl/gMujHn.

[ref48] 48. Ku WC. Impersonation Attack on a Dynamic ID-Based Remote User Authentication Scheme Using Smart Cards. IEICE Transactions on Communications. 2005;E88-B:2165–2167. Available from: http://dx.doi.org/10.1093/ietcom/e88-b.5.2165.
View Article
Google Scholar

[119] View Article

[120] Google Scholar

[ref49] 49. Khan MK, Kumari S, Gupta MK, Muhaya FTB. Cryptanalysis of Truong et al.’s fingerprint biometric remote authentication scheme using mobile device. In: 6th International Conference on Brain Inspired Cognitive Systems. vol. 7888 LNAI. Beijing, China; 2013. p. 271–277. Available from: http://dx.doi.org/10.1007/978-3-642-38786-9_31.

[ref50] 50. Yoon EJ, Yoo KY. Comments on modified user friendly remote authentication scheme with smart cards. IEICE Transactions on Communications. 2007;90(2):331–333. Available from: http://dx.doi.org/10.1093/ietcom/e90-b.2.331.
View Article
Google Scholar

[123] View Article

[124] Google Scholar

[ref51] 51. Ch S, Uddin N, Sher M, Ghani A, Naqvi H, Irshad A. An efficient signcryption scheme with forward secrecy and public verifiability based on hyper elliptic curve cryptography. Multimedia Tools and Applications. 2015;74(5):1711–1723. Available from: http://dx.doi.org/10.1007/s11042-014-2283-9.
View Article
Google Scholar

[126] View Article

[127] Google Scholar

[ref52] 52. Chaudhry S, Naqvi H, Sher M, Farash M, Hassan M. An improved and provably secure privacy preserving authentication protocol for SIP. Peer-to-Peer Networking and Applications. 2015;p. 1–15. Available from: http://dx.doi.org/10.1007/s12083-015-0400-9.
View Article
Google Scholar

[129] View Article

[130] Google Scholar

[ref53] 53. Choo KKR. An integrative framework to protocol analysis and repair: Bellare-Rogaway model plus planning plus model checker. Informatica. 2007;18(4):547–568. Available from: http://goo.gl/xwjtJp.
View Article
Google Scholar

[132] View Article

[133] Google Scholar

[ref54] 54. Choo KKR, Nam J, Won D. A mechanical approach to derive identity-based protocols from Diffie-Hellman-based protocols. Information Sciences. 2014 Oct;281:182–200. Available from: http://dx.doi.org/10.1016/j.ins.2014.05.041.
View Article
Google Scholar

[135] View Article

[136] Google Scholar

[ref55] 55. Shen J, Tan H, Wang J, Wang J, Lee S. A Novel Routing Protocol Providing Good Transmission Reliability in Underwater Sensor Networks. Journal of Internet Technology. 2015;16(1):171–178. Available from: http://goo.gl/hkYdf9.
View Article
Google Scholar

[138] View Article

[139] Google Scholar

[ref56] 56. Choo KKR. A proof of revised Yahalom protocol in the Bellare and Rogaway (1993) model. Computer Journal. 2007;50(5):591–601. Available from: http://dx.doi.org/10.1093/comjnl/bxm019.
View Article
Google Scholar

[141] View Article

[142] Google Scholar

[ref57] 57. Chaudhry S, Farash M, Naqvi H, Sher M. A secure and efficient authenticated encryption for electronic payment systems using elliptic curve cryptography. Electronic Commerce Research. 2015;p. 1–27. Available from: http://dx.doi.org/10.1007/s10660-015-9192-5.
View Article
Google Scholar

[144] View Article

[145] Google Scholar

[ref58] 58. Guo P, Wang J, Geng XH, Kim CS, Kim JU. A Variable Threshold-value Authentication Architecture for Wireless Mesh Networks. JIT Journal of Internet Technology. 2014;15(6):929–935. Available from: http://goo.gl/7IBFZ6.
View Article
Google Scholar

[147] View Article

[148] Google Scholar

[ref59] 59. He D, Wang D. Robust Biometrics-Based Authentication Scheme for Multiserver Environment. IEEE Systems Journal. 2015;9(3):816–823. Available from: http://dx.doi.org/10.1109/JSYST.2014.2301517.
View Article
Google Scholar

[150] View Article

[151] Google Scholar

[ref60] 60. You I. Design and analysis of mobile internet security protocol by using [Thesis]. Kyushu University; 2012.

[ref61] 61. Burrows M, Abadi M, Needham R. A logic of authentication. ACM Transactions on Computer Systems. 1990;8:18–36. Available from: http://dx.doi.org/10.1098/rspa.1989.0125.
View Article
Google Scholar

[154] View Article

[155] Google Scholar

[ref62] 62. Mathuria aM, Safavi-naini R, Nickolas PR. On the automation of GNY logic. Australian Computer Science Communications. 1995;17:370–379. Available from: http://goo.gl/NDqTNe.
View Article
Google Scholar

[157] View Article

[158] Google Scholar

[ref63] 63. Armando A, Basin D, Boichut Y, Chevalier Y, Compagna L, Cuellar J, et al. The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. In: Etessami K, Rajamani S, editors. Computer Aided Verification SE- 27. vol. 3576 of Lecture Notes in Computer Science. Springer Berlin Heidelberg; 2005. p. 281–285. Available from: http://dx.doi.org/10.1007/11513988_27.

[ref64] 64. Blanchet B. ProVerif: Cryptographic protocol verifier in the formal model; 2012. Available from: http://goo.gl/AIznu8.

[ref65] 65. Hsieh WB, Leu JS. Anonymous authentication protocol based on elliptic curve Diffie-Hellman for wireless access networks. Wireless Communications and Mobile Computing. 2014;14(10):995–1006. Available from: http://dx.doi.org/10.1002/wcm.2252.
View Article
Google Scholar

[162] View Article

[163] Google Scholar

[ref66] 66. He D, Zhang Y, Chen J. Cryptanalysis and Improvement of an Anonymous Authentication Protocol for Wireless Access Networks. Wireless Personal Communications. 2014;74(2):229–243. Available from: http://dx.doi.org/10.1007/s11277-013-1282-x.
View Article
Google Scholar

[165] View Article

[166] Google Scholar

[ref67] 67. Li CT, Hwang MS, Chu YP. A secure and efficient communication scheme with authenticated key establishment and privacy preserving for vehicular ad hoc networks. Computer Communications. 2008 Jul;31(12):2803–2814. Available from: http://dx.doi.org/10.1016/j.comcom.2007.12.005.
View Article
Google Scholar

[168] View Article

[169] Google Scholar

[ref68] 68. Wen F, Li X. An improved dynamic ID-based remote user authentication with key agreement scheme. Computers and Electrical Engineering. 2012;38(2):381–387. Available from: http://dx.doi.org/10.1016/j.compeleceng.2011.11.010.
View Article
Google Scholar

[171] View Article

[172] Google Scholar

[ref69] 69. Kumari S, Gupta MK, Khan MK, Li X. An improved timestamp-based password authentication scheme: comments, cryptanalysis, and improvement. Security and Communication Networks. 2014;7(11):1921–1932. Available from: http://dx.doi.org/10.1002/sec.906.
View Article
Google Scholar

[174] View Article

[175] Google Scholar

[ref70] 70. Koblitz N, Menezes A, Vanstone S. The State of Elliptic Curve Cryptography. In: Koblitz N, editor. Towards a Quarter-Century of Public Key Cryptography SE—5. Springer US; 2000. p. 103–123. Available from: http://dx.doi.org/10.1007/978-1-4757-6856-5_5.

Cryptanalysis and Improvement of "A Secure Password Authentication Mechanism for Seamless Handover in Proxy Mobile IPv6 Networks"

Cryptanalysis and Improvement of "A Secure Password Authentication Mechanism for Seamless Handover in Proxy Mobile IPv6 Networks"

Correction

Figures

Abstract

Introduction

Review of the SPAM Scheme

Initial Registration

Mutual Authentication between the MN and the MAG

SPAM Password Change Phase

Security Issues of the SPAM Method

The MN Impersonation Attack

The MAG Impersonation Attack

Anonymity

Lack of Revocation of Smart Card

Password Guessing Attack

Proposed Method

Initial Registration Procedure

Authentication Procedure

Password Change Phase

Revocation Procedure

Security Analysis of the Proposed Scheme

Anonymity

Mutual Authentication

Revocation Procedure

Resistance to the MN Impersonation Attack

Resistance to the MAG Impersonation Attack

Resistance to Replay Attack

Forgery Attack Resistance

Denial-of-service Attack Resistance

Resistance to Password Guessing Attack

Stolen-verified Attack Resistance

Formal Security Analysis

BAN Logic

Performance Analysis

Conclusion

Acknowledgments

Author Contributions

References