Design and analysis of authenticated key agreement scheme in cloud-assisted cyber–physical systems

Challa, S; Das, AK; Gope, P; Kumar, N; Wu, F; Vasilakos, AV

Design and analysis of authenticated key agreement scheme in cloud-assisted cyber–physical systems

Challa, S Das, AK Gope, P Kumar, N Wu, F Vasilakos, AV

Permalink

Publisher:: Elsevier BV
Publication Type:: Journal Article
Citation:: Future Generation Computer Systems, 2020, 108, pp. 1267-1286
Issue Date:: 2020-07-01

Closed Access

	Filename	Description	Size
	1-s2.0-S0167739X17326328-main.pdf	Published version	2.04 MB	Adobe PDF	View/Open

Copyright Clearance Process

Recently Added
In Progress
Closed Access

This item is closed access and not available.

Full metadata record

Field	Value	Language
dc.contributor.author	Challa, S
dc.contributor.author	Das, AK
dc.contributor.author	Gope, P
dc.contributor.author	Kumar, N
dc.contributor.author	Wu, F
dc.contributor.author	Vasilakos, AV
dc.date.accessioned	2021-03-30T03:38:03Z
dc.date.available	2021-03-30T03:38:03Z
dc.date.issued	2020-07-01
dc.identifier.citation	Future Generation Computer Systems, 2020, 108, pp. 1267-1286
dc.identifier.issn	0167-739X
dc.identifier.uri	http://hdl.handle.net/10453/147648
dc.description.abstract	© 2018 Elsevier B.V. With advancements in engineering and science, the application dimensions of Cyber–Physical System (CPS) are increasing due to their improving efficiency, safety, reliability, usability and autonomy. By providing on-demand access to shared processing resources, cloud computing reduces infrastructure costs. Ensuring quality of service and information privacy and security is important in such environments. In this paper, we design a new authentication scheme related to the cloud-assisted CPS in two directions: (1) authentication between a user and a cloud server, and (2) authentication between a smart meter and a cloud server. In the former situation, any external party (user) can access the information stored in a cloud server provided that the user is legal and has the right to access information. In the later situation, a smart meter and a cloud server authentication is needed for secure communication of data stored in the cloud server. In both cases, both entities first mutually authenticate each other and only after successful authentication with the help of a trusted authority, establish a session key for their future secure communication. The proposed scheme deals with both the cases and provides high security as compared to other related works, which is shown through formal and informal security analysis. In addition, the mutual authentication using the widely-accepted Burrows–Abadi–Needham logic (BAN logic) and also formal security verification using the broadly-used Automated Validation of Internet Security Protocols and Applications (AVISPA) simulation tool demonstrate further that the scheme is strong in security. Finally, the proposed scheme is shown to be efficient in terms of communication and computation costs as compared to those for other related existing schemes.
dc.language	en
dc.publisher	Elsevier BV
dc.relation.ispartof	Future Generation Computer Systems
dc.relation.isbasedon	10.1016/j.future.2018.04.019
dc.rights	info:eu-repo/semantics/closedAccess
dc.subject	0803 Computer Software, 0805 Distributed Computing, 0806 Information Systems
dc.subject.classification	Distributed Computing
dc.title	Design and analysis of authenticated key agreement scheme in cloud-assisted cyber–physical systems
dc.type	Journal Article
utslib.citation.volume	108
utslib.for	0803 Computer Software
utslib.for	0805 Distributed Computing
utslib.for	0806 Information Systems
pubs.organisational-group	/University of Technology Sydney
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology/School of Electrical and Data Engineering
utslib.copyright.status	closed_access	*
dc.date.updated	2021-03-30T03:38:02Z
pubs.publication-status	Published
pubs.volume	108

Abstract:

© 2018 Elsevier B.V. With advancements in engineering and science, the application dimensions of Cyber–Physical System (CPS) are increasing due to their improving efficiency, safety, reliability, usability and autonomy. By providing on-demand access to shared processing resources, cloud computing reduces infrastructure costs. Ensuring quality of service and information privacy and security is important in such environments. In this paper, we design a new authentication scheme related to the cloud-assisted CPS in two directions: (1) authentication between a user and a cloud server, and (2) authentication between a smart meter and a cloud server. In the former situation, any external party (user) can access the information stored in a cloud server provided that the user is legal and has the right to access information. In the later situation, a smart meter and a cloud server authentication is needed for secure communication of data stored in the cloud server. In both cases, both entities first mutually authenticate each other and only after successful authentication with the help of a trusted authority, establish a session key for their future secure communication. The proposed scheme deals with both the cases and provides high security as compared to other related works, which is shown through formal and informal security analysis. In addition, the mutual authentication using the widely-accepted Burrows–Abadi–Needham logic (BAN logic) and also formal security verification using the broadly-used Automated Validation of Internet Security Protocols and Applications (AVISPA) simulation tool demonstrate further that the scheme is strong in security. Finally, the proposed scheme is shown to be efficient in terms of communication and computation costs as compared to those for other related existing schemes.

Please use this identifier to cite or link to this item:

http://hdl.handle.net/10453/147648