A formally verified device authentication protocol using Casper/FDR
Conference paper
Aiash, M., Mapp, G., Phan, R., Lasebae, A. and Loo, J. 2012. A formally verified device authentication protocol using Casper/FDR. Min, G., Wu, Y., Liu, L., Jin, X., Jarvis, S. and Al-Dubai, A. (ed.) 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom-2012). Liverpool, UK 25 - 27 Jun 2012 IEEE. pp. 1293-1298 https://doi.org/10.1109/TrustCom.2012.27
Type | Conference paper |
---|---|
Title | A formally verified device authentication protocol using Casper/FDR |
Authors | Aiash, M., Mapp, G., Phan, R., Lasebae, A. and Loo, J. |
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. |
Research Group | SensoLab group |
Conference | 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom-2012) |
Page range | 1293-1298 |
Editors | Min, G., Wu, Y., Liu, L., Jin, X., Jarvis, S. and Al-Dubai, A. |
ISBN | |
Hardcover | 9781467321723 |
Publisher | IEEE |
Publication dates | |
01 Jan 2012 | |
Publication process dates | |
Deposited | 06 Jun 2012 |
Output status | Published |
Accepted author manuscript | |
Additional information | Paper presented in The 11th IEEE International Conference on |
Digital Object Identifier (DOI) | https://doi.org/10.1109/TrustCom.2012.27 |
Language | English |
Book title | 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) |
https://repository.mdx.ac.uk/item/83q25
Download files
114
total views16
total downloads0
views this month1
downloads this month