How to design a secure anonymous authentication and key agreement protocol for multi-server environments and prove its security

4Citations
Citations of this article
47Readers
Mendeley users who have this article in their library.

Abstract

An anonymous authentication and key agreement (AAKA) protocol provides anonymous members symmetric authentication and establishes a symmetric session key for secure communication in public networks. Today, numerous popular remote services are based on multi-server architecture, such as the internet of things (IoT), smart cities, cloud services, vehicular ad hoc networks (VANET), and telecare medicine information systems (TMIS). Many researchers have attempted to design AAKA protocols in multi-server environments for various applications. However, many of these have security defects, even if they have so-called “formal” security proofs. In this paper, we analyze related AAKA protocols to identify the common design defects, expound the process of designing secure AAKA protocols, and explain why the present AAKA protocols still suffer attacks, despite having security proofs. We instruct readers on how to design a secure AAKA protocol and how to prove the security. This paper will therefore be helpful for the design of new AAKA protocols, and for ensuring their security.

Cite

CITATION STYLE

APA

Chuang, Y. H., Lei, C. L., & Shiu, H. J. (2021). How to design a secure anonymous authentication and key agreement protocol for multi-server environments and prove its security. Symmetry, 13(9). https://doi.org/10.3390/sym13091629

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free