Model checking
The Design of Rijndael
CRYPTO '99 Proceedings of the 19th Annual International Cryptology Conference on Advances in Cryptology
A secure dynamic ID based remote user authentication scheme for multi-server environment
Computer Standards & Interfaces
Enhanced authentication scheme with anonymity for roaming service in global mobility networks
Computer Communications
Design and Verification of Enhanced Secure Localization Scheme in Wireless Sensor Networks
IEEE Transactions on Parallel and Distributed Systems
Computer Standards & Interfaces
Secure and Efficient Localization Scheme in Ultra-Wideband Sensor Networks
Wireless Personal Communications: An International Journal
On the anonymity of some authentication schemes for wireless communications
IEEE Communications Letters
Security flaw of authentication scheme with anonymity for wireless communications
IEEE Communications Letters
Weaknesses in an anonymous authentication scheme for roaming service in global mobility networks
IEEE Communications Letters
Finding collisions in the full SHA-1
CRYPTO'05 Proceedings of the 25th annual international conference on Advances in Cryptology
Mutual Authentication and Key Exchange Protocols for Roaming Services in Wireless Mobile Networks
IEEE Transactions on Wireless Communications
A new authentication scheme with anonymity for wireless environments
IEEE Transactions on Consumer Electronics
Secure and efficient dynamic program update in wireless sensor networks
Security and Communication Networks
An Index-Based Location Management Scheme for PCS Network
Wireless Personal Communications: An International Journal
Wireless Personal Communications: An International Journal
Robust Anonymous Two-Factor Authentication Scheme for Roaming Service in Global Mobility Network
Wireless Personal Communications: An International Journal
Hi-index | 0.00 |
Designing a user authentication protocol with anonymity for the global mobility network (GLOMONET) is a difficult task because wireless networks are susceptible to attacks and each mobile user has limited power, processing and storage resources. In this paper, a secure and lightweight user authentication protocol with anonymity for roaming service in the GLOMONET is proposed. Compared with other related approaches, our proposal has many advantages. Firstly, it uses low-cost functions such as one-way hash functions and exclusive-OR operations to achieve security goals. Having this feature, it is more suitable for battery-powered mobile devices. Secondly, it uses nonces instead of timestamps to avoid the clock synchronization problem. Therefore, an additional clock synchronization mechanism is not needed. Thirdly, it only requires four message exchanges between the user, foreign agent and home agent. Further, the security properties of our protocol are formally validated by a model checking tool called AVISPA. We also demonstrate that this protocol enjoys important security attributes including prevention of various attacks, single registration, user anonymity, no password table, and high efficiency in password authentication. Security and performance analyses show that compared with other related authentication schemes, the proposed scheme is more secure and efficient.