Bae, W.; Kwak, J. Smart Card-Based Secure Authentication Protocol in Multi-Server IoT Environment. Preprints2017, 2017050076. https://doi.org/10.20944/preprints201705.0076.v1
Bae, W., & Kwak, J. (2017). Smart Card-Based Secure Authentication Protocol in Multi-Server IoT Environment. Preprints. https://doi.org/10.20944/preprints201705.0076.v1
Bae, W. and Jin Kwak. 2017 "Smart Card-Based Secure Authentication Protocol in Multi-Server IoT Environment" Preprints. https://doi.org/10.20944/preprints201705.0076.v1
In recent years, the internet of things has been widely utilized in various fields, such as in smart factories or connected cars. As its domain of application has expanded, it has begun to be employed using multi-server architectures for a more efficient use of resources. However, because users wishing to receive IoT services connect to multi-servers over wireless networks, this can expose systems to various attacks and result in serious security risks. To protect systems (and users) from potential security vulnerabilities, a secure authentication technology is necessary. In this paper, we propose a smart card-based authentication protocol, which performs the authentication for each entity by allowing users to go through the authentication process using a smart card transmitted from an authentication server, and to login to a server connected to the IoT. Furthermore, the security of our proposed authentication protocol is verified by simulating a formal verification scenario using AVISPA, a security protocol-verification tool.
user authentication; multi server; internet of things; formal verification; security
Computer Science and Mathematics, Computer Networks and Communications
This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.