期刊:International Conference on Parallel and Distributed Systems日期:2019-12-01卷期号:: 454-461
标识
DOI:10.1109/icpads47876.2019.00071
摘要
Edge computing is attracting more and more attention in recent years to fulfill the requirements of latency-critical and computation-intensive applications. By using the coding redundancy, coded edge computing has emerged to optimize the total computation latency. Compared with the servers in cloud computing, edge devices located at the edge of network may not be reliable and trustworthy. In coded edge computing, even one incorrect intermediate result will lead to the incorrect final result. Therefore, considering the low computation capabilities of edge devices and low latency requirements of user, we study the result verification problem for coded edge computing. Specifically, we propose an efficient Orthogonal Mark (OM) verification scheme by the properties of linear space. We also conduct solid theoretical analysis to show the successful verification probabilities under two kinds of attack models, respectively. Finally, we conduct extensive simulations to show the effectiveness of the proposed OM verification scheme when comparing with basic coded edge computing scheme and Decoding Comparison (DC) scheme.