|
|
|
|
 |
Volume 12, Issue 1 (9-2023) |
 |
|
|
|
|
Integrity checking of outsourced computations
|
Somayeh Dolatnezhad Samarin   , Morteza Amini * |
| Sharif University of Technology |
|
|
Abstract: (2266 Views) |
| In recent years, one of the main topics of interest in the security of outsource computations is checking the integrity of the results received from the outsourced computations. Outsourced computations can be run on data received from single or multiple data sources. There are a few methods proposed for system models with distributed data sources. The main solutions provided in this area to verify the correctness of the execution of any or some special functions such as linear, polynomial or aggregate functions are categorised to: (1) verifiable computations, (2) homomorphic authenticators, and (3) methods proposed for specific applications such as outsourced databases, wireless sensor networks and data stream management systems. In this paper, these methods, especially the methods proposed for outsourced computations in data stream management systems, have been reviewed and compared. |
|
| Keywords: Data security, Computation Outsourcing, Integrity of computation, Turing machine, Homomorphic authenticators |
|
|
Full-Text [PDF 1340 kb]
(780 Downloads)
|
Type of Study: Review Article |
Subject:
Special
Received: 2022/12/15 | Accepted: 2023/06/7 | Published: 2023/09/1
|
|
|
|
|
|
|
| Send email to the article author |
|
|
|
| Add your comments about this article |
|
|
|
|
|
|
|
|
|
|
|
