A formally verified device authentication protocol using casper/FDR

Mahdi Aiash, Glenford Mapp, Raphael C.W. Phan, Aboubaker Lasebae, Jonathan Loo

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

7 Citations (Scopus)

Abstract

For communication in Next Generation Networks, highly-developed mobile devices will enable users to store and manage a lot of credentials on their terminals. Furthermore, these terminals will represent and act on behalf of users when accessing different networks and connecting to a wide variety of services. In this situation, it is essential for users to trust their terminals and for all transactions using them to be secure. This paper analyses a number of the Authentication and Key Agreement protocols between the users and mobile terminals, then proposes a novel device authentication protocol. The proposed protocol is analysed and verified using a formal methods approach based on Casper/FDR compiler.

Original languageEnglish
Title of host publicationProc. of the 11th IEEE Int. Conference on Trust, Security and Privacy in Computing and Communications, TrustCom-2012 - 11th IEEE Int. Conference on Ubiquitous Computing and Communications, IUCC-2012
Pages1293-1298
Number of pages6
DOIs
Publication statusPublished - 2012
Externally publishedYes
EventIEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) 2012 - Liverpool, United Kingdom
Duration: 25 Jun 201227 Jun 2012
Conference number: 11th
https://ieeexplore.ieee.org/xpl/conhome/6294581/proceeding (Proceedings)

Conference

ConferenceIEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) 2012
Abbreviated titleTrustCom 2012
Country/TerritoryUnited Kingdom
CityLiverpool
Period25/06/1227/06/12
Internet address

Keywords

  • Authentication and Key Agreement Protocol
  • Casper/FDR
  • Device Authentication Protocols

Cite this