Efficient unilateral authentication mechanism for MIPv6

Authors:
Yoon-Su Jeong;Bong-Keun Lee;Keon-Myung Lee;Sang-Ho Lee
Affiliations:
Department of Computer Science, Chungbuk National University, Chungju, Chungbuk, Korea;Department of Multimedia Computer, Busan Kyungsang College, Chungbuk, Korea;Department of Computer Science, Chungbuk National University, Chungju, Chungbuk, Korea;Department of Computer Science, Chungbuk National University, Chungju, Chungbuk, Korea
Venue:
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part I
Year:
2006

Citing 2
Cited 0

Handbook of Applied Cryptography

Handbook of Applied Cryptography
The Murphi Verification System

CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a unilateral authentication protocol for protecting IPv6 networks against abuse of mobile IPv6 primitives. The proposed protocol imposes minimal computational requirements on mobile nodes, uses as few messages as possible. It is also easy to implement, economic to deploy and lightweight in use. We formally verifies the correctness of the protocol using the finite-state analysis tool mur φ, which has been used previously to analyze hardware designs and security properties of several protocols.