eCite Digital Repository

Analysis of mobile authentication protocols by SVO logic


Almyhaideb, A and Srinivasan, B and Le, PD and Wilson, C and Malhotra, VM, Analysis of mobile authentication protocols by SVO logic, SecurIT Conference Proceedings 2012, 17-19 August 2012, Amrita University, Kerala, India, pp. 126-134. ISBN 978-1-4503-1822-8 (2012) [Non Refereed Conference Paper]

Not available

DOI: doi:10.1145/2490428.2490446


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. Copyright 2012 ACM.

Item Details

Item Type:Non Refereed Conference Paper
Keywords:mobile authentication protocols, ubiquitous networking, SVO modal logic, wireless roaming, formal methods
Research Division:Information and Computing Sciences
Research Group:Distributed computing and systems software
Research Field:Mobile computing
Objective Division:Information and Communication Services
Objective Group:Communication technologies, systems and services
Objective Field:Mobile technologies and communications
UTAS Author:Malhotra, VM (Dr Vishv Malhotra)
ID Code:116552
Year Published:2012
Deposited By:Information and Communication Technology
Deposited On:2017-05-12
Last Modified:2017-05-12

Repository Staff Only: item control page