Trusted Sharing of Data Under Cloud-Edge-End Collaboration and Its Formal Verification
Author
Abstract

With the development of cloud computing and edge computing, data sharing and collaboration have become increasing between cloud edge and end. Under the assistance of edge cloud, end users can access the data stored in the cloud by data owners. However, in an unprotected cloud-edge-end network environment, data sharing is vulnerable to security threats from malicious users, and data confidentiality cannot be guaranteed. Most of the existing data sharing approaches use the identity authentication mechanism to resist unauthorized accessed by illegal end users, but the mechanism cannot guarantee the credibility of the end user’s network environment. Therefore, this article proposes an approach for trusted sharing of data under cloud-edge-end collaboration (TSDCEE), in which we verify the trustworthiness of the data requester’s network environment based on the mechanism of attribute remote attestation. Finally, this article uses model checking Spin method to formally analyze TSDCEE, and verifies the security properties of TSDCEE.

Year of Publication
2023
Date Published
oct
Publisher
IEEE
Conference Location
Daytona Beach, FL, USA
ISBN Number
9798350300734
URL
https://ieeexplore.ieee.org/document/10223319/
DOI
10.1109/LCN58197.2023.10223319
Google Scholar | BibTeX | DOI