In order to separate a host's identity from its location on the Internet, the Host Identity Protocol (HIP) was developed by the Internet Engineering Task Force as a mobility management solution. HIP provides a solid basis to enable secured mobility and multihoming features. Several extensions and proposals have been introduced in recent publications to improve the micro‐mobility features of HIP. Moreover, many other publications have dealt with the efficiency of Network Mobility (NEMO) management with HIP. However, the HIP‐based micro‐mobility management solutions adapted to NEMO scenario do not cover all security aspects requirements and still suffer from security flaws. Therefore, in this paper, a number of potential threats in the typical HIP with Rendez Vous Server are identified. A new secure and efficient scheme for network mobility management is also proposed to overcome the outlined ones. The proposed solution ensures strong authentication between network entities, reduces Denial of Service attacks, secures against Domain Name Server spoofing, reply, and eavesdropping attacks, and ensures end‐to‐end confidentiality and integrity protection. To analyze the security properties of the proposed scheme, we have performed automated formal specification and evaluation with the help of both the Automated Validation of Internet Security Protocols and Applications and the Security Protocol Animator, which have proved that authentication and confidentiality goals are achieved. Hence, the scheme is effective when an intruder is present. Copyright © 2014 John Wiley & Sons, Ltd.