eCite Digital Repository

Analysis of mobile authentication protocols by SVO logic

Citation

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]


Preview
PDF
Pending copyright assessment - Request a copy
635Kb
  

DOI: doi:10.1145/2490428.2490446

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. 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
Research Field:Mobile Technologies
Objective Division:Information and Communication Services
Objective Group:Communication Networks and Services
Objective Field:Mobile Data Networks and Services
Author:Malhotra, VM (Dr Vishv Malhotra)
ID Code:116552
Year Published:2012
Deposited By:Computing and Information Systems
Deposited On:2017-05-12
Last Modified:2017-05-12
Downloads:0

Repository Staff Only: item control page