A certificated-based binding update mechanism for proxy mobile ipv6 protocol

Proxy mobile ipv6 protocol is a network-based mobility management protocol. Mobile node does not need to participate in any PMIPv6 messages. A certificated-based authentication mechanism based on the public key infrastructure is proposed in this article. It can be used to protect and authenticate two proxy binding messages of PMIPv6. In addition, we use SVO formal logic to analysis the security of this authentication protocol.

[1]  P. Syverson,et al.  A Unified Cryptographic Protocol Logic , 1996 .

[2]  Paul F. Syverson,et al.  On unifying some cryptographic protocol logics , 1994, Proceedings of 1994 IEEE Computer Society Symposium on Research in Security and Privacy.

[3]  Stuart Jacobs.  Mobile IP Public Key Based Authentication , 2001 .

[4]  Alpesh Patel,et al.  Authentication Protocol for Mobile IPv6 , 2006, RFC.

[5]  Basavaraj Patil,et al.  Proxy Mobile IPv6 , 2008, RFC.