Abstract
The mobile Internet Protocol (IP) is a mobility based communication protocol that provides guidelines for the routing of mobile nodes in a network. The mobile IP manipulates IP addresses as a natural identifier for each mobile communicant. Here, each mobile device recognizes itself via two IP addresses: a home-of address and a care-of address. Owing to the mobility nature of the these devices, the location update of their current care-of address plays a vital role in receiving continuous services without interference. Many investigations have been explored on the location update of mobile devices along with the security and computation issues. However, the efforts on the security services have not received much attention in these investigations. Consequently, there is an increasing need for optimized binding update that balances security and efficiency. In this paper, a new Binding Update using Twofold Encryption (BUTE) is proposed, for balancing both security and efficiency of binding update for IPv6 mobility. It exhibits the alleviation of the attacks such as rerun, man-in-the-middle, false binding update and denial-of-service. The proposed BUTE is simulated using network simulator-2 and the experimental results are analyzed. Also, it is validated for security attributes using Automated Validation of Internet Security Protocols and Applications (AVISPA) – a security tool. Finally, the numerical results reveal that the proposed BUTE provides a significant reduction in communication cost and binding update delays.
Introduction
Mobile IP version 6 (MIPv6) is designed to maintain the mobility support in internet protocols for continuous services without the use of any additional fixed routers [1]. Here, the broadcasting of IP packets between nodes in a mobility based network facilitates a location independent routing since the messages are routed irrespective of the current location of the nodes [2]. Several approaches of network mobility infrastructure such as proxy mobile IP and hierarchical mobile IP were developed and they all receive their signal messages from different points of attachment with multiple gateways [3]. However, the incorporation of such approaches to IPv6 based networks can result in non-optimized routes. Hence, the IPv6 mobility necessitates a secure and efficient communication between wireless networks.
The environment of IPv6 based network consists of communicating entities such as mobile node (MN), home agent (HA) and correspondent node (CN) as shown in Fig. 1. Initially, the MN located in the fixed infrastructure of its respective home network uses a home-of address (HoA), while when away from its home network uses a care-of address (CoA). Further, when a MN moves from one location to another, the recipient keeps track of the sender using CoA which is carried by a series of message transfers known as binding updates (BUs). Each BU is associated with a response message, described as binding acknowledgment (BA). Here, the establishment of binding update is explored by verifying the correctness of CoA of the legitimate node [4, 5].

Mobile IPv6 work space: A pictorial view.
The notion of basic return routability in MIPv6 allows the secure transfer of BU messages by providing mutual authentication. Return Routability Protocol (RRP) [6] aims to offer authentication by issuing tokens for the corresponding MN without relying on a public key infrastructure (PKI). In this approach, two tokens are issued between MN and CN, one for addressing MN’s HoA and the other for denoting current CoA. Here, the MN creates a hash value of message as part of the BU scheme. The hash is rechecked by the respective CN. However, the RRP suffers from security threats such as replay and reflection attack, man-in-the-middle (MITM), traffic redirection and amplification attacks.
Subsequently, the RRP using identity-based encryption (RRP-IBE) proposed by Alsalihy & Alsayfi (2013) aims at integrating IBE with the former study of RRP for increasing the basic protection level of RRP [7]. It investigates the message flow of the protocol using an additional third party, called as private key generator (PKG) for the purpose of issuing keys during the test initiations. This approach employs PKG for the replacement of PKI without relying on a key recovery database. Though RRP-IBE provides required protection in the MN-HA link, it does not protect the CN-HA link. Specifically, the MITM can intervene in the communication link of CN-HA. Here, the intruder can take control over a router in the CN-HA link.
Private-key based binding update (PKBU) protocol [8] aims to provide a secure BU scheme using private key based IP addresses between MN and CN. The BU messages between MN and CN, also termed as signal messages are protected using IP security (IPSec) tunneling to provide authentication [9]. In PKBU, the present CoA of MN is verified by using an identity based scheme which uses the private key of MN and the IPv6 subnet prefix. Here, the address generation is carried out through the multi-key cryptographically generated address which takes more computation cost compared to cryptographically generated address. Further, PKBU is prone to hand-off delay even though it decreases message signaling overhead.
Subsequently, Yeh et al. suggested a batch binding update (BBU) scheme [10] for handling recurrent BUs using multiple mobile routers over a short period of time. In BBU, the binding of MN is established with mobile routers which communicate through multiple tunnels with a frail routing path. These routers often shift themselves from their home network interfaces frequently by issuing BU in every move. Though BBU is protected, the concealed data of CoA message is not authenticated. Further, there are possibilities of an adversary to create a new cryptographically generated address (CGA) with the pre-defined public key of the home agent. Since the scheme incorporates elliptical curve cryptography based parameters for signature and verification, the computation steps are complex in terms of payload and latency.
In [11], the mutual authentication among MN and HA and CN is examined. It is based on the optimal asymmetric encryption in which public key is shared beforehand. The message padding is performed using two hash functions and a randomized number. The symmetric key encrypts the random nonces of MN, HA and the temporary identity of MN. The MN sends this information in the BU request to the HA. In turn, the HA computes the hash value of the temporary identity of the CN and sends the BA to the MN. In order to verify, the MN decrypts the BA and recalculates the hash value of the temporary identity of the CN. The process is repeated with a new set of random values to attain mutual authentication.
The route optimization and security enhancement measures have been explored for the proxy based MIPv6 networks [12, 13]. A unique token is shared between the MN and mobile access gateway (MAG) in this method [12]. Then, the CN verifies the token and sends the token response to MN via CN-MAG which forwards it to the MN-MAG. The messages shared among the MAGs cannot be intercepted by the attackers because location updates are encrypted and hash value is calculated with the nonce of the respective MAGs. There is no exchange of proxy BU or BA with home agent, which reduces the signaling cost. In [13], the token is incorporated in the routing table followed by the encryption to provide security. The routing table is shared among all the nearby MAGs. The CN gets the location of the MN by referring the routing table. The mutual authentication and data integrity is ensured by the application of hash function in this method. However, it is performed in the proxy MIPv6 based network.
To recapitulate, it is summarized that the existing protocols suffer from security vulnerabilities owing to the ineffectiveness of authenticating the legitimacy of MN by CN and obscuring CoA message in IPv6 mobility [14–16]. Developing and building from the inferences of former protocols, this current paper suggests a mechanism for location update of IPv6 mobility using a new scheme BUTE to enhance security and efficiency in terms of BU latency. The contributions of the current paper in the proposed BUTE are: (1) secured concealing of CoA, (2) authentication of identity of each user authority, (3) efficient CoA generation and verification, (4) validation of the security properties of BUTE using AVISPA – a model checker, and (5) reduced computational and communication payload.
The rest of the paper is organized as follows: The cryptographic groundwork of BUTE is reviewed in Section 2. Section 3 describes the proposed scheme (BUTE) with its message sequence. Section 4 and 5 discusses the security analysis and the formal validation of BUTE using AVISPA. Section 6 shows the performance evaluation based on communication payload and latency. The conclusion is presented in Section 7.
Preliminaries
The current section discusses the optimal asymmetric encryption (OAE) and the CoA generation of MN using OAE.
Optimal asymmetric encryption
Optimal asymmetric encryption is a message padding procedure [17, 18]. Unlike discrete logarithm problem, which depends on heavy computation, OAE procedure uses minimal cryptographic operations with two randomized hash functions G and H. The OAE selects two random oracle numbers r1 and r2 and computes the output as follows.
The output of OAE provides one-way authentication and it is repeated with random values to complete the mutual authentication between the communicants. Here, the value of k is an integer, number of bits padded with r1 (represents the number of padded bits) and XOR is the exclusive-OR operation.
Cryptographically generated address using OAE
The MN’s identity after its relocation from the home network is addressed using the CoA, which is generated using CGA technique [19] with OAE (CGA-OAE). The address generated using CGA-OAE is a 128-bit IPv6 address where the leftmost 64 bits are subnet prefix and rightmost 64 bits are the interface identifier.
The input parameters defined for the address generation includes modifier value, subnet prefix, public key of HA, hash function G and H, nonces, security flag sec and collision count (initially set to 0). Here, the value sec is a predefined security parameter and the value ranges between 0 and 7 in binary representation. The CGA-OAE increments the modifier bit and collision count in case of duplication [20]. The new IPv6 address is generated by concatenating the subnet prefix and the newly generated interface identifier. The procedures for generating and verifying the CGA using OAE are shown in Figs. 2 and 3.

CoA generation using CGA-OAE procedure.

CoA verification using CGA-OAE.
The current section discusses the intricacies of the proposed BUTE that incorporates probabilistic factoring based public key encryption [21]. It is built on the assumption that the public keys of HA and CN are pre-shared with the MN. Also, the communication channel of MN-HA is secured through IPSec tunneling. The notations and variables used in the proposed BUTE are listed in Table 1.
Notations and variables used in BUTE
Notations and variables used in BUTE
The proposed BUTE with HA is a two-step procedure (in Fig. 4). MN sends a BU request message to HA (Step 1), where CoA is the intended location address of MN currently; HoA denotes MN’s initial home address of HA. The message flow of the proposed BU with HA is as follows,

Proposed location update with HA.
In the first step, the binding update is initiated from MN and sent to HA with the fields MNTmp, ETRMN - HA and HoA where ETRMN - HA is the encrypted value of the message M in modulo arithmetic using HAK _ pub. It is presumed that the MN is authentic to generate its signing key with the public keys of HAs known by MNs.
In the second step, HA sends a BA message to the MN by verifying the updated value of CoA. Note that, CoA is entrusted only if the decrypted value of OAE [NonceMN, NonceHA] in the message M is verified by using the private key of HA. Upon receiving the packet from MN, HA checks the validity of CoA by recalculating the hash value with the parameters NonceMN, NonceHA, CoA, and HAk _ pub. If the values are found to be matching, then the BU is verified and acknowledged by the HA with the newly updated nonce (new_NonceMN). Here, after receiving new_NonceMN, MNSig is verified using NonceMN. The HA then sends BA message with the fields Brep, MNTmp, ETR HA - MN and HoA after the successful verification of signature and CoA.
The route optimization emphasizes a direct message transfer between the MNs and CNs instead of adopting HA. In the proposed BU with CN (Fig. 5), MN sends a BU request with the parameters MNTmp, MNSig, ETRMN - CN and HoA to CN. The details of signaling message are as follows,

Proposed location update with HA.
Here, the proposed BUTE is initiated with a BU message Breq, MNTmp, MNSig, ETRMN-CN and HoA from MN to CN. The values NonceMN and NonceCN are encrypted using CN’s public key (CNK _ pub) since MN has CNK _ pub which is pre-shared.
Upon receiving, the CN acknowledges the first step message. The MN’s signature (MNSig) is verified using the verification key. After the decryption of the random nonces, CN reverts back with a BA of its actual value for the intention of MN verifying the identity of CN avoiding false binding update attack. If the verification procedure succeeds, CN appends a new nonce (new_NonceCN) with V. On successful verification, the CN sends the final acknowledgement with the fields Brep, MNTmp, ETRCN-MN and HoA.
This section discusses security analysis for authentication, confidentiality, integrity, non-repudiation and prevention of attacks such as MITM, false binding update, DoS amplification, replay attack and CN’s memory saturation.
Authentication
In the proposed BUTE, the authentication between all the correspondent pairs is provided through the hash values used in OAE. The random nonces (NonceMN, NonceHA) used in OAE between the communicants (MN-HA and MN-CN) provides mutual authentication. Also, the validity of CoA indicates self-authentication of MN. Therefore, a one-way authentication is denoted by the two random numbers and the computation of nonce from the hash function. In order to attain complete mutual authentication mechanism, the encryption scheme is repeated further with two random values.
Confidentiality
The binding update and acknowledgement between MN and HA of the proposed BUTE is initially instantiated by sharing the public key of HA. Here, the MN can encrypt the message M (between MN and HA) and T (between MN and CN) containing CoA, temporary identity of the sender, hash value of random nonces and OAE fields using the known public key of HA (HAK _ pub). The HA or CN (in route optimization) retrieves its nonces from OAE(NonceMN, NonceHA). It is difficult for an intruder to obtain the value of new nonce as in M and T since a twofold encryption is used during the decryption at HA (and CN).
Integrity
The communication channel disruption may occur with the motivation to alter the content of the message [22]. This leads to the tampering of the message contents sent by the communicants. However, this sort of an attack is not possible in the proposed scheme since HA/CN verifies the hash code, H [NonceMN|| NonceHA || CoA || HAk_pub] and H [NonceMN || NonceCN || CoA || CNk_pub] by recalculating them at the recipient side.
Non-repudiation
Non-repudiation constitutes with either of the communicating parties accepting their intended message without denying it. The proposed BUTE provides non-repudiation by signing (MNSig) the contents of the BU message between MN and HA or MN and CN. Here, the HA and CN validates the signed message from M and T with a verification key σMN. The authorized recipient accepts the message content without rejecting it.
Amplification attack prevention
Amplification refers to the broadcasting of messages by the adversaries. Under this attack, the attacker compiles the message of relatively smaller size and delivers as a real message with larger bytes. Thus, the recipient receives a significantly larger volume of message than the actual sent message and results in a larger amplification factor.
The amplification attack propagates its message when the recipient node CN intends to send message to the sender node MN with HA as the tertiary node. It is initiated by CN requesting MN to send additional messages to a different node. However, in the proposed BUTE, the amplification attack is mitigated as there are no BU messages propagating from CN to HA and vice versa (BA).
MITM attack prevention
A third party adversary places itself as a MITM between the pairs MN-HA and MN-CN by attaching fake sets of BUs or BAs. Compared to the link of MN-HA, route optimization scheme i.e. between MN and CN has more resistance to MITM attack as the information is directly passed to the authorized node (CN) without crossing the additional node HA.
As the proposed BUTE system protects its message contents through a dual encryption providing mutual authentication, it is virtually impossible for an intruder node to intervene between the MN and the receiver node.
False BU attack prevention
The false BU’s can be synthesized with the address being forged. The address here refers to the CoA of MN. However in BUTE, the generation of current CoA takes place by using the CGA-OAE method. Also the message attaches two values of CoA as discussed in Sections 4.1 and 4.2. Once the receiver decrypts the message, the value is compared, to guarantee the value of CoA and the details of who owns it, therefore avoiding the possibility of false binding update attack.
Replay attack prevention
Consider the case where an adversary tries to replay the message of S and V at the receiving nodes of HA and CN respectively. In the proposed BUTE, the nonce values of MN and HA/CN are generated randomly with the assumption that there is no similar value of nonce present in the BU’s.
Thus, when HA/CN receives their intended message from MN, it compares for the value of nonces by decrypting OAE[NonceMN, NonceHA/CN] with the recomputed hash. If the values of the generated nonces are found to be matching then it is accepted. Further, HA/CN checks its previously encountered nonce values with the received values. If successive nonces are to be found same, then the message is discarded since it is replayed.
CN’s memory saturation attack prevention
The CN’s memory saturation attack is generated when the opponent attacks the communication link by increasing the traffic volume. As a result, instead of receiving a single BU message, HA/CN obtains enormous number of BUs which saturates their memory with an effect of either increase in the volume of message fetched or messages being lost. However in the proposed system, it is prevented with the use of nonces since the receiving node HA/CN accepts the incoming BUs with the limitation on the number of messages by verifying the sequence number. The prevention analysis of various attacks is listed in Table 2.
Attack prevention analysis
Attack prevention analysis
The current section discusses the validation of the proposed BUTE using the security protocol analyzer, known as Automated Validation of Internet Security Protocol and Application (AVISPA) [23]. The AVISPA is a user interface tool for the validation of security protocols and their properties. It uses a modular and high level expressive formal language, known as High Level Protocol Specification Language (HLPSL) for specifying the security properties [24]. The HLPSL is a role based specification language described with a finite state machine model. Its equivalent code is converted to an intermediate format (IF) using the translator HLPSL2IF.
The AVISPA integrates four back ends OFMC (On-the-fly Model-Checker), CL-AtSe (Constraint-Logic-based Attack Searcher), SATMC (SAT-based Model-Checker), TA4SP (Tree Automata based Automatic Approximations for Security Analysis Protocols) that employ a variety of automated analysis techniques on various attacks. The IF code validates all the transition heuristics and its specifications can be either of typed or un-typed variant. The tool yields an abstract based verification for different role definitions written in HLPSL. Figure 6 shows a role definition for MN. In the proposed BUTE, the initial transition starts with 0 and follows from 1 to 4 stating the role commands for each of the protocol steps as mentioned in Section 4. The proposed BUTE is translated to IF and is traced for the OFMC and CL-AtSe back-ends results in AVISPA.

Role specification for MN in AVISPA.
The role is an independent process having a defined name along with local declarations and receives information through the parameters. The agents are represented by the parameters and play roles such as transition, changing states etc. The role may have several declarations like local, constant, initializations, accept and intruder knowledge declarations. The term played_by connects the role and the agent that plays the role. The player gains the knowledge through the parameters and the local declarations defined in the role. The init section represents theinitialization of variables or constants using simple assignments. In Fig. 6, the declaration of the variables is provided inside the role definition.
It states that A and B are agents; defines the hash function, public keys, messages to be shared along with the channel. Further, it describes the player who plays the role with the detailed information of the initial state and the transition states. Here, the initial state is assigned a value 0 followed by the description of the transition steps. The MN is authenticated to generate its signing key with the public key of HA known by MN. HA checks the validity of CoA by recalculating the hash value with the parameters. If the values are found to be matching, then the BU is verified and acknowledged by the HA. Consequently, HA sends BA to the MN.
The validation results of the proposed BUTE are shown in Figs. 7 and 8. From the OFMC results, it is found to be safe from attacks. The proposed BUTE is executed for a bounded number of sessions with a search time of 0.02 seconds, number of visited nodes as 7 and a depth search of 4 plies. From the CL-AtSe results (Fig. 8), it is observed that the BUTE is safe from attacks. Here, the protocol executes with a 21 analyzed and 10 reachable states.

OFMC back-end results in AVISPA.

CL-AtSe back-end results in AVISPA.
The current section discusses the performance of the proposed BUTE scheme with the existing schemes in terms of communication payload, message transmission time and overall latency of binding update messages. The proposed BUTE is simulated using network simulator-2 (NS-2) [25] and the experimental results are discussed in the next sub-sections.
Simulation set-up
The proposed work is simulated by using NS-2 tool. The NS-2 is a discrete event simulator directed for exploring communication flows in networking. The topology of the proposed scheme is based on wired cum wireless architecture. It consists of the three different networks for home network, visited network for mobility based nodes and correspondent network. The instance of the node movement is recorded with respect to the simulation time. The simulation time is assessed from one occurrence to the other based on the event scheduler. Each network has 450 nodes and the time required to discover a router is 100 ms. In the wired network, bit rate is set as 100 Mbps and the propagation time is considered as 0.5 ms. The bit rate in case of wireless network connection in our simulation is 2 Mbps. The propagation time in wireless network is considered as 2 ms, which is higher in comparison to the wired network. In the simulation, the mobility model is designed with the system parameters [26, 27] as shown Table 3.
System parameters
System parameters
The variables used in the performance evaluation are listed in Table 4. The communication payload is defined as the overall cost required during the binding update in the communication link. In the proposed BUTE, the message size of BU and BA between MN and HA is 128 + 128 + 16 + 16 = 288 bytes and 128 + 16 + 16 = 160 bytes respectively; the message size for binding request and binding reply between MN and CN is 128 + 128 + 32 + 32 = 320 bytes and 128 + 32 + 32 = 192 bytes respectively.
The total communication payload for a single BU/BA of the proposed BUTE is estimated as follows.
Variables used for performance evaluation
Variables used for performance evaluation
The total cost and the number of cryptographic hash operations required for various BU schemes with the proposed scheme are listed in Table 5. It is noted that the communication payload of BUTE requires only two encryptions and two hash functions [28]. The RRP scheme faces the maximum message overhead in addition to four encryptions and four hash functions resulting in the higher value of total communication payload. The PKBU and RRP-IBE shares the same number of hash operations but the PKBU shows less message overhead. Although the messaging overhead is same for BBU and BUTE; the proposed one takes lesser hash function computation. Finally, the proposed BUTE relatively requires a less communication payload compared to all other schemes. The average of communication payload for BU and BA are defined as the ratio of total cost and the maximum bit rate and they are denoted as follows,
Total cost, cryptographic hash operations and number of messages
Where maximum bit rate is the maximum number of bits transmitted per second. Accordingly, the average communication payload is estimated and represented in Fig. 9 (a) and (b) that shows the total communication payload required during the BU communication between existing and proposed schemes. The RRP and RRP-IBE consumes higher communication payload as compared to other schemes for both BU and BA. The BBU shows higher overhead in MN-HA as compared to MN- CN BUs but in case of BA, it consumes less overhead in HA-MN communication. The proposed scheme provides less communication payload in comparison to the other schemes and it is comparable in nature between MN-HA and MN-CN links.

Communication payload (in bytes) between (a) MN-HA (b) MN-CN.
Any binding message on a send/receive request requires latency for its processing. Also, the propagation time on the wired/wireless links through which the message is being processed is an additional cost to be measured during the message transmission. The computation of message transmission time between the pairs MN-HA and MN-CN for the proposed BUTE is as follows,
Accordingly for a BU message, the message transmission time is estimated as follows,
For a BA message,
Figure 10 exhibits the total message transmission time required for BU and BA operations along with the number of messages transmitted. The transmission time for the messaging increases as the number of BU messages increments. The rise in the transmission time is more in case of MN- HA in comparison to MN-CN. Therefore, it can be noted that the MN-CN communication has less transmission time overhead with the increase in BUs.

Message transmission time (in ms) vs Number of messages.
Figure 11 shows the average message transmission time of BU and BA between the links MN-HA and MN-CN respectively. It is noted that the binding update between MN and HA in terms of message transmission time reduces up to 48.87 percent. Subsequently between MN and CN, the proposed BUTE shows a reduction of 22.65 percent approximately. Here, the RRP shows the highest average message transmission time of BU and BA between the links MN-HA and MN-CN. The RRP-IBE has less time overhead of BU and BA in MN-HA link as compared to MN-CN link. It consumes almost the same message transmission time in BA of CN-MN link along with PKBU scheme but takes higher value in case of HA-MN link. In MN-CN, the average message transmission time of BBU scheme is less than the other schemes but more than the proposed scheme. Moreover, it consumes highest message transmission time for BA. The proposed scheme performs better in comparison to other schemes. It consumes least message transmission time for BU and BA in both the links.

Message transmission time (in ms) between (a) MN-HA (b) MN-CN.
The latency of BU is measured as the average amount of time required to transmit the BU message from MN to HA or CN. The latency of BU is computed as follows,
Figure 12 shows the comparison of latency of the BU message of various schemes with the proposed scheme. The RRP scheme suffers with the highest BU latency in both the cases between the pairs MN-HA and MN-CN. The RRP-IBE and PKBU has similar BU latency in MN-HA, however BA latency from HA to MN in RRP-IBE is more as compared to PKBU. The BBU has lesser latency and it is analogous in both the messages BU and BA. In MN-CN updates, the latency of BU and BA is comparable in RRP-IBE and PKBU. The BU latency of BBU is also equal as the PKBU but BA latency is lesser. The proposed scheme has the least latency in both the cases as compared to other schemes.

Latency for BU message between (a) MN-HA (b) MN-CN.
Figure 13 shows that the RRP requires the maximum latency for transmitting BU and BA between MN-HA and MN-CN. But, the schemes RRP-IBE and PKBU represent almost similar BU latency in both the cases. The BA latency is comparable in RRP, RRP-IBE, PKBU and BBU schemes between MN-CN. The BBU shows lesser latency than the rest of the mentioned schemes but more than the proposed BUTE. The proposed scheme reduces the overall latency even when the number of messages is compared with those in other schemes.

Latency with number of messages vs. BU scheme between (a) MN-HA (b) MN-CN.
In this paper, a new location update using twofold encryption for IPv6 mobility is proposed to protect the signaling messages between the pairs of the MN-HA and MN-CN. The proposed BUTE incorporates dual encryption methodology using the optimal asymmetric encryption and a probabilistic approach. Here, the CoA generated using CGA method is concealed to an extent using the message padding technique of OAE. The mutual authentication between the communicants of the proposed BUTE is also achieved. From the perspective of security threats, the proposed BUTE ensures protection from all possible attacks such as MITM attack, replay attack, DoS attack and false BU attack. The security properties are also formally validated by using AVISPA and the results demonstrate that no revealed attacks were detected. Finally, the proposed BUTE significantly reduces the communication cost and latency. For future work, the BU of IPv6 mobility can be considered to support route optimization in distributed domains.
