Analysis and design of an authentication protocol for space information network
Citations Over TimeTop 15% of 2016 papers
Abstract
With the development of mobile communication technology, space information network plays an essential role in meeting the increasing demands of mobile communications. As a basic and powerful security mechanism, authentication protocol provides primary protection. In 2012, Zheng et al. proposed an efficient four-phase authentication scheme for space information network. But we observed that it is vulnerable to various attacks, such as the identity spoofing attack, malicious service request attack and denial of service attack. In this paper, we analyze the protocol in detail. Then an improved authentication scheme based on the self-renewal and timeout retransmission mechanism of user's temporary identity is proposed. The formal verification with SVO logic proves that the proposed authentication protocol is secure.
Related Papers
- → Design of Authentication Protocol for LR-WPAN using Pre-Authentication Mechanism(2009)5 cited
- → Designing an Authentication Protocol via Authentication Test(2007)1 cited
- Survey of Authentication Protocol(2013)
- Design and Analysis of Authentication Protocol in Military Network(2001)
- New Logic for Analyzing and Designing Authentication Protocol(2008)