Analysis of mobile authentication protocols by SVO logic

Authors:
Abdullah Almuhaideb;Bala Srinivasan;Phu Dung Le;Campbell Wilson;Vishv Malhotra
Affiliations:
King Faisal University, Alahsa, Saudi Arabia and Monash University, Melbourne, Australia;Monash University, Melbourne, Australia;Monash University, Melbourne, Australia;Monash University, Melbourne, Australia;University of Tasmania, Tasmania, Australia
Venue:
Proceedings of the First International Conference on Security of Internet of Things
Year:
2012

Citing 16
Cited 0

Identity-based cryptosystems and signature schemes

Proceedings of CRYPTO 84 on Advances in cryptology
A semantics for a logic of authentication (extended abstract)

PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Extending cryptographic logics of belief to key agreement protocols

CCS '93 Proceedings of the 1st ACM conference on Computer and communications security
On a limitation of BAN logic

EUROCRYPT '93 Workshop on the theory and application of cryptographic techniques on Advances in cryptology
A critique of the Burrows, Abadi and Needham logic

ACM SIGOPS Operating Systems Review
Hardware and Software Symbiosis Helps Smart Card Evolution

IEEE Micro
The Logic of Authentication Protocols

FOSAD '00 Revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design on Foundations of Security Analysis and Design: Tutorial Lectures
Can We Eliminate Certificate Revocations Lists?

FC '98 Proceedings of the Second International Conference on Financial Cryptography
On Unifying Some Cryptographic Protocol Logics

SP '94 Proceedings of the 1994 IEEE Symposium on Security and Privacy
Reducing Reauthentication Delay in Wireless Networks

SECURECOMM '05 Proceedings of the First International Conference on Security and Privacy for Emerging Areas in Communications Networks
Kerberos based authentication for inter-domain roaming in wireless heterogeneous network

Computers & Mathematics with Applications
Universal authentication protocols for anonymous wireless communications

IEEE Transactions on Wireless Communications
An anonymous and self-verified mobile authentication with authenticated key agreement for large-scale wireless networks

IEEE Transactions on Wireless Communications
Two-Party Mobile Authentication Protocols for Wireless Roaming Networks

NCA '11 Proceedings of the 2011 IEEE 10th International Symposium on Network Computing and Applications
Anonymous and Authenticated Key Exchange for Roaming Networks

IEEE Transactions on Wireless Communications
An authentication technique based on distributed security management for the global mobility network

IEEE Journal on Selected Areas in Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract

The next generation of mobile services makes it desirable for mobile users to be connected everywhere. Since these users usually in the move, roaming services are deployed to allow mobile users to access foreign network services without being limited to the geographical coverage of their home networks. Several solutions have been proposed based on either two-party or three-party roaming structure to allow ubiquities mobile access authentication, however, limitations such as performance issues and security vulnerabilities still exist in these approaches. In this paper, we implemented a methodology for verifying authentication protocols based on SVO logic, which shows that our Passport/Visa protocols meet the desired authentication objectives and prove the protocols correctness. Moreover, we show that our proposal addresses existing limitations when compared to the other approaches.