Analysis of mobile authentication protocols by SVO logic

Abdullah Almuhaideb; Bala Srinivasan; Phu Dung Le; Campbell Wilson; Vishv M Malhotra

doi:10.1145/2490428.2490446

Analysis of mobile authentication protocols by SVO logic

Abdullah Almuhaideb, Bala Srinivasan, Phu Dung Le, Campbell Wilson, Vishv M Malhotra

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research

2 Citations (Scopus)

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.

Original language	English
Title of host publication	Proceedings - 1st International Conference on Security of Internet of Things, SecurIT 2012
Subtitle of host publication	August 17-19, 2012, Amrita University, Amritapuri Campus, Kerala, India
Place of Publication	New York, New York
Publisher	Association for Computing Machinery (ACM)
Pages	126-134
Number of pages	9
ISBN (Print)	9781450318228
DOIs	https://doi.org/10.1145/2490428.2490446
Publication status	Published - 2012
Event	International Conference on Security of Internet of Things 2012 - Kerala, India Duration: 17 Aug 2012 → 19 Aug 2012 Conference number: 1st

Conference

Conference	International Conference on Security of Internet of Things 2012
Abbreviated title	SecurIT 2012
Country/Territory	India
City	Kerala
Period	17/08/12 → 19/08/12

Keywords

Authentications protocols
Formal methods
SVO modal logic
Ubiquitous networking
Wireless roaming

Access to Document

10.1145/2490428.2490446

Cite this

Almuhaideb, A., Srinivasan, B., Le, P. D., Wilson, C., & Malhotra, V. M. (2012). Analysis of mobile authentication protocols by SVO logic. In Proceedings - 1st International Conference on Security of Internet of Things, SecurIT 2012: August 17-19, 2012, Amrita University, Amritapuri Campus, Kerala, India (pp. 126-134). Association for Computing Machinery (ACM). https://doi.org/10.1145/2490428.2490446

@inproceedings{6457e6fb33124f98b0fd8db1a206b9d1,

title = "Analysis of mobile authentication protocols by SVO logic",

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.",

keywords = "Authentications protocols, Formal methods, SVO modal logic, Ubiquitous networking, Wireless roaming",

author = "Abdullah Almuhaideb and Bala Srinivasan and Le, {Phu Dung} and Campbell Wilson and Malhotra, {Vishv M}",

year = "2012",

doi = "10.1145/2490428.2490446",

language = "English",

isbn = "9781450318228",

pages = "126--134",

booktitle = "Proceedings - 1st International Conference on Security of Internet of Things, SecurIT 2012",

publisher = "Association for Computing Machinery (ACM)",

address = "United States of America",

note = "International Conference on Security of Internet of Things 2012, SecurIT 2012 ; Conference date: 17-08-2012 Through 19-08-2012",

}

Almuhaideb, A, Srinivasan, B, Le, PD, Wilson, C & Malhotra, VM 2012, Analysis of mobile authentication protocols by SVO logic. in Proceedings - 1st International Conference on Security of Internet of Things, SecurIT 2012: August 17-19, 2012, Amrita University, Amritapuri Campus, Kerala, India. Association for Computing Machinery (ACM), New York, New York, pp. 126-134, International Conference on Security of Internet of Things 2012, Kerala, India, 17/08/12. https://doi.org/10.1145/2490428.2490446

Analysis of mobile authentication protocols by SVO logic. / Almuhaideb, Abdullah; Srinivasan, Bala; Le, Phu Dung et al.
Proceedings - 1st International Conference on Security of Internet of Things, SecurIT 2012: August 17-19, 2012, Amrita University, Amritapuri Campus, Kerala, India. New York, New York: Association for Computing Machinery (ACM), 2012. p. 126-134.

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research

TY - GEN

T1 - Analysis of mobile authentication protocols by SVO logic

AU - Almuhaideb, Abdullah

AU - Srinivasan, Bala

AU - Le, Phu Dung

AU - Wilson, Campbell

AU - Malhotra, Vishv M

N1 - Conference code: 1st

PY - 2012

Y1 - 2012

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

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

KW - Authentications protocols

KW - Formal methods

KW - SVO modal logic

KW - Ubiquitous networking

KW - Wireless roaming

UR - http://www.scopus.com/inward/record.url?scp=84879817130&partnerID=8YFLogxK

U2 - 10.1145/2490428.2490446

DO - 10.1145/2490428.2490446

M3 - Conference Paper

AN - SCOPUS:84879817130

SN - 9781450318228

SP - 126

EP - 134

BT - Proceedings - 1st International Conference on Security of Internet of Things, SecurIT 2012

PB - Association for Computing Machinery (ACM)

CY - New York, New York

T2 - International Conference on Security of Internet of Things 2012

Y2 - 17 August 2012 through 19 August 2012

ER -

Almuhaideb A, Srinivasan B, Le PD, Wilson C, Malhotra VM. Analysis of mobile authentication protocols by SVO logic. In Proceedings - 1st International Conference on Security of Internet of Things, SecurIT 2012: August 17-19, 2012, Amrita University, Amritapuri Campus, Kerala, India. New York, New York: Association for Computing Machinery (ACM). 2012. p. 126-134 doi: 10.1145/2490428.2490446

Analysis of mobile authentication protocols by SVO logic

Abstract

Conference

Keywords

Access to Document

Other files and links

Cite this