Design and formal security evaluation of NeMHIP: A new secure and efficient network mobility management protocol based on the Host Identity Protocol

1. Toledo, N.
2. Higuero, M.
3. Astorga, J.
4. Aguado, M.
5. Bonnin, J.M.