Security Analysis of Proxy Mobile IPv6 Authentication Protocol with IPv4 Support

Ling Tie; Di He

doi:10.4028/www.scientific.net/AMR.433-440.3683

Paper Titles

A Stereo Matching Algorithm with Support Regions Based on Color and Texture Estimate
p.3656

A New Approximate Matching Algorithm and its Application in Internet Music Search by Humming
p.3662

Application Schemes of IEEE1588 Protocol in Communication Network of Electric Power Dispatching
p.3669

The Design and Realization of Multifunctional Intelligent Terminal for Bank Customers
p.3677

Security Analysis of Proxy Mobile IPv6 Authentication Protocol with IPv4 Support
p.3683

Design and Realization of High Speed Data Transmission Based on PCI Bus of DM642
p.3688

Wireless Sensor Networks Data Transmission Based on Congestion by Cognized Routing Protocol
p.3692

Research of Implementing Strategies of IPv6 on Edge of Multimedia Communication Networks
p.3703

Wavelet Density Degree of Continous Parameter Stochastic Process
p.3708

HomeAdvanced Materials ResearchAdvanced Materials Research Vols. 433-440Security Analysis of Proxy Mobile IPv6...

Security Analysis of Proxy Mobile IPv6 Authentication Protocol with IPv4 Support

Abstract:

Proxy mobile ipv6 protocol is a mandatory protocol to support inter-working among heterogeneous mobile broadband networks. In order to support compatibility to IPv4 network, a mobility infrastructure in the proxy mobile ipv6 that provide ipv4 extension is presented in this article. An authentication protocol based on authentication option is proposed to protect this proxy mobile IPv6 protocol with IPv4 support. A SVO formal Analysis method is used to prove the security of this protocol.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Advanced Materials Research (Volumes 433-440)

Pages:

3683-3687

DOI:

https://doi.org/10.4028/www.scientific.net/AMR.433-440.3683

Citation:

Cite this paper

Online since:

January 2012

Authors:

Ling Tie, Di He

Keywords:

Authentication, Formal Analysis, IPv4 Support, Proxy Mobile ipv6, SVO

Export:

RIS, BibTeX

Price:

Permissions:

Request Permissions

References

[1] Ed. S. Gundavelli, K. Leung, V. Devarapalli, K. Chowdhury, B. Patil, G. Eason, B. Noble, and I. N. Sneddon, proxy mobile ipv6, IETF RFC5213, Aug (2008).

DOI: 10.17487/rfc5213

Google Scholar

[2] R. Wakikawa, S. Gundavelli, Ipv4 support for proxy mobile ipv6, IETF draft-ietf-netlmm-pmip6-ipv4-support-18. txt, Aug (2010).

DOI: 10.17487/rfc5844

Google Scholar

[3] A. Patel, K. Leung, M. Khalil, H. Akhtar, K. Chowdhury, Authentication protocol for mobile IPv6, IETF RFC 4285, Jan (2006).

DOI: 10.17487/rfc4285

Google Scholar

[4] Ed.J. Korhonen,J. Bournelle,K. Chowdhury,A. Muhannna,U. Meyer, Diameter Proxy Mobile Ipv6 : Mobile Access gateway and local mobility anchor interaction with diameter server, IETF RFC 5779, Feb (2010).

DOI: 10.17487/rfc5779

Google Scholar

[5] Paul Syverson, Paul C Van Oorshot. On unifying some cryptographic protocol logics, , IEEE Computer Society Symposium on Research in Security and Privacy , 1994. Proceedings., 1994, pp.14-28, doi: 10. 1109/RISP. 1994. 296595.

DOI: 10.1109/risp.1994.296595

Google Scholar

[6] P F Syverson, P C van Oorschot, A unified cryptographic protocol logic, Technical Report 5540-227, CHACS, Naval Research Lab, 1996. www. scs. carleton. ca/~paulv/papers/SVOnov96. pdf. Figure 2. IPv4 support for PMIPv6 authentication protocol.

DOI: 10.21236/ada464967

Google Scholar