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]
![]() | PDF Not available 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 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 |
Downloads: | 0 |
Repository Staff Only: item control page