Preview

PDF Not available 635Kb

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 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