Verification and analysis of an improved authentication protocol for mobile IP

摘要

In this paper, we proposed an authentication protocol for Mobile IP to improve its scalability and efficiency. The protocol was verified and analysed with BAN logic. We discovered that there is a tradeoff between security and efficiency. To improve the efficiency, we omitted the direct authentication between the Mobile Host (MH) and the foreign Agent (FA) with resutled in weaker beliefs. However, through discussion, we were able to show that the result does not compromise the security of the protocol.