Yao Zhao;Youyang Qu;Yong Xiang;Feifei Chen;Md Palash Uddin;Longxiang Gao
{"title":"赢在起跑线上:边缘数据完整性验证的不可靠数据副本选择","authors":"Yao Zhao;Youyang Qu;Yong Xiang;Feifei Chen;Md Palash Uddin;Longxiang Gao","doi":"10.1109/TSC.2024.3479909","DOIUrl":null,"url":null,"abstract":"<u>M</u>\nobile \n<u>E</u>\ndge \n<u>C</u>\nomputing (MEC) is an emerging technology, where App vendors are allowed to cache multiple data replicas on geographically distributed edge servers to serve adjacent mobile subscribers. However, this benefit introduces an extra workload for edge servers and App vendors, as they must audit the integrity of multiple data replicas periodically considering various threats caused by distributed and dynamic MEC environments. The large-scale growth of data replicas certainly is a challenge to design more efficient \n<u>E</u>\ndge \n<u>D</u>\nata \n<u>I</u>\nntegrity (EDI) verification approaches. Existing solutions are mostly limited to improving efficiency by optimizing proof generation and verification methods, while the improvement is still far from satisfactory due to adopting indiscriminate inspection philosophy (checking all data replicas without discrimination). In this paper, we make the first attempt to abstract a pre-processing phase and correspondingly study the \n<u>U</u>\nnreliable data \n<u>R</u>\neplica \n<u>S</u>\nelection (URS) problem. It can be seamlessly integrated into existing EDI solutions by solving the URS problem at the start of each verification round. Such pre-selection can significantly enhance overall EDI verification efficiency by incorporating the cache service \n<u>Q</u>\nuality \n<u>o</u>\nf \n<u>S</u>\nervice (QoS) and verification success rate, especially in scenarios with a large number of data replicas. Specifically, we first formalize the URS problem as a constrained optimization problem, and further prove its \n<inline-formula><tex-math>$\\mathcal {NP}$</tex-math></inline-formula>\n -hardness. To address the problem efficiently, we transform it into an easy-to-handle form and develop a \n<u>P</u>\nriority-based approach named URS-P. Both theoretical analysis and experimental evaluation validate the effectiveness and efficiency of our proposed solution.","PeriodicalId":13255,"journal":{"name":"IEEE Transactions on Services Computing","volume":"17 6","pages":"4481-4493"},"PeriodicalIF":5.5000,"publicationDate":"2024-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Winning at the Starting Line: Unreliable Data Replica Selection for Edge Data Integrity Verification\",\"authors\":\"Yao Zhao;Youyang Qu;Yong Xiang;Feifei Chen;Md Palash Uddin;Longxiang Gao\",\"doi\":\"10.1109/TSC.2024.3479909\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<u>M</u>\\nobile \\n<u>E</u>\\ndge \\n<u>C</u>\\nomputing (MEC) is an emerging technology, where App vendors are allowed to cache multiple data replicas on geographically distributed edge servers to serve adjacent mobile subscribers. However, this benefit introduces an extra workload for edge servers and App vendors, as they must audit the integrity of multiple data replicas periodically considering various threats caused by distributed and dynamic MEC environments. The large-scale growth of data replicas certainly is a challenge to design more efficient \\n<u>E</u>\\ndge \\n<u>D</u>\\nata \\n<u>I</u>\\nntegrity (EDI) verification approaches. Existing solutions are mostly limited to improving efficiency by optimizing proof generation and verification methods, while the improvement is still far from satisfactory due to adopting indiscriminate inspection philosophy (checking all data replicas without discrimination). In this paper, we make the first attempt to abstract a pre-processing phase and correspondingly study the \\n<u>U</u>\\nnreliable data \\n<u>R</u>\\neplica \\n<u>S</u>\\nelection (URS) problem. It can be seamlessly integrated into existing EDI solutions by solving the URS problem at the start of each verification round. Such pre-selection can significantly enhance overall EDI verification efficiency by incorporating the cache service \\n<u>Q</u>\\nuality \\n<u>o</u>\\nf \\n<u>S</u>\\nervice (QoS) and verification success rate, especially in scenarios with a large number of data replicas. Specifically, we first formalize the URS problem as a constrained optimization problem, and further prove its \\n<inline-formula><tex-math>$\\\\mathcal {NP}$</tex-math></inline-formula>\\n -hardness. To address the problem efficiently, we transform it into an easy-to-handle form and develop a \\n<u>P</u>\\nriority-based approach named URS-P. Both theoretical analysis and experimental evaluation validate the effectiveness and efficiency of our proposed solution.\",\"PeriodicalId\":13255,\"journal\":{\"name\":\"IEEE Transactions on Services Computing\",\"volume\":\"17 6\",\"pages\":\"4481-4493\"},\"PeriodicalIF\":5.5000,\"publicationDate\":\"2024-10-14\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"IEEE Transactions on Services Computing\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://ieeexplore.ieee.org/document/10715711/\",\"RegionNum\":2,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"COMPUTER SCIENCE, INFORMATION SYSTEMS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE Transactions on Services Computing","FirstCategoryId":"94","ListUrlMain":"https://ieeexplore.ieee.org/document/10715711/","RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"COMPUTER SCIENCE, INFORMATION SYSTEMS","Score":null,"Total":0}
引用次数: 0
摘要
移动边缘计算(MEC)是一项新兴技术,应用程序供应商可以在地理分布的边缘服务器上缓存多个数据副本,以服务相邻的移动用户。然而,这一优势为边缘服务器和应用程序供应商带来了额外的工作负载,因为他们必须定期审核多个数据副本的完整性,考虑分布式和动态MEC环境造成的各种威胁。数据副本的大规模增长无疑是设计更有效的边缘数据完整性(EDI)验证方法的挑战。现有的解决方案大多局限于通过优化证明生成和验证方法来提高效率,而由于采用无差别检查(无差别检查所有数据副本)的理念,改进效果还远远不能令人满意。本文首次尝试抽象一个预处理阶段,并对不可靠数据副本选择(URS)问题进行了相应的研究。通过在每个验证轮开始时解决URS问题,它可以无缝地集成到现有的EDI解决方案中。通过结合缓存服务QoS (Quality of service)和验证成功率,这种预选可以显著提高EDI验证的整体效率,特别是在数据副本大量的场景中。具体而言,我们首先将URS问题形式化为约束优化问题,并进一步证明其$\mathcal {NP}$ -硬度。为了有效地解决这个问题,我们将其转换为易于处理的表单,并开发了一种名为URS-P的基于优先级的方法。理论分析和实验验证了该方法的有效性和高效性。
Winning at the Starting Line: Unreliable Data Replica Selection for Edge Data Integrity Verification
M
obile
E
dge
C
omputing (MEC) is an emerging technology, where App vendors are allowed to cache multiple data replicas on geographically distributed edge servers to serve adjacent mobile subscribers. However, this benefit introduces an extra workload for edge servers and App vendors, as they must audit the integrity of multiple data replicas periodically considering various threats caused by distributed and dynamic MEC environments. The large-scale growth of data replicas certainly is a challenge to design more efficient
E
dge
D
ata
I
ntegrity (EDI) verification approaches. Existing solutions are mostly limited to improving efficiency by optimizing proof generation and verification methods, while the improvement is still far from satisfactory due to adopting indiscriminate inspection philosophy (checking all data replicas without discrimination). In this paper, we make the first attempt to abstract a pre-processing phase and correspondingly study the
U
nreliable data
R
eplica
S
election (URS) problem. It can be seamlessly integrated into existing EDI solutions by solving the URS problem at the start of each verification round. Such pre-selection can significantly enhance overall EDI verification efficiency by incorporating the cache service
Q
uality
o
f
S
ervice (QoS) and verification success rate, especially in scenarios with a large number of data replicas. Specifically, we first formalize the URS problem as a constrained optimization problem, and further prove its
$\mathcal {NP}$
-hardness. To address the problem efficiently, we transform it into an easy-to-handle form and develop a
P
riority-based approach named URS-P. Both theoretical analysis and experimental evaluation validate the effectiveness and efficiency of our proposed solution.
期刊介绍:
IEEE Transactions on Services Computing encompasses the computing and software aspects of the science and technology of services innovation research and development. It places emphasis on algorithmic, mathematical, statistical, and computational methods central to services computing. Topics covered include Service Oriented Architecture, Web Services, Business Process Integration, Solution Performance Management, and Services Operations and Management. The transactions address mathematical foundations, security, privacy, agreement, contract, discovery, negotiation, collaboration, and quality of service for web services. It also covers areas like composite web service creation, business and scientific applications, standards, utility models, business process modeling, integration, collaboration, and more in the realm of Services Computing.