fa وارسی صحت اجرای محاسبات برون‌سپاری شده رمز و امنیت اطلاعات Cryptology and Information Security مروری Review Article <span dir="RTL" lang="FA" style="font-size:12.0pt"><span style="line-height:115%"><span b="" nazanin="" style="font-family:">در سال‌های اخیر، یکی از موضوعات مورد پژوهش در حوزه‌ی امنیت محاسبات برون‌سپاری شده، راستی‌آزمایی صحت اجرای محاسبات برون‌سپاری شده است. محاسبات برون‌سپاری شده، بر روی داده‌های دریافتی از یک یا چند منبع داده قابل اجرا می‌باشند. در حال حاضر روش‌های محدودی برای محاسبات برون‌سپاری شده با منابع داده توزیع شده ارایه شده‌اند.&nbsp; راه‌حل‌های ارایه شده در این حوزه جهت راستی‌آزمایی صحت اجرای انواع توابع، توابع تجمعی، توابع خطی و توابع چند جمله‌ای در سه دسته اصلی محاسبات وارسی‌پذیر، احرازکننده‌های اصالت همریخت و روش‌های ارایه شده برای کاربرد خاص </span></span></span><span lang="EN-US" style="font-size:12.0pt"><span style="line-height:115%"><span new="" roman="" style="font-family:" times="">)</span></span></span><span dir="RTL" lang="FA" style="font-size:12.0pt"><span style="line-height:115%"><span b="" nazanin="" style="font-family:">نظیر پایگاه‌داده‌های برون‌سپاری شده، شبکه‌های حسگر بی‌سیم و سامانه‌های مدیریت جریان داده</span></span></span><span lang="EN-US" style="font-size:12.0pt"><span style="line-height:115%"><span new="" roman="" style="font-family:" times="">(</span></span></span> <span dir="RTL" lang="FA" style="font-size:12.0pt"><span style="line-height:115%"><span b="" nazanin="" style="font-family:">قرار می‌گیرند. در این مقاله روش‌های مختلف ارایه شده برای راستی آزمایی صحت اجرای محاسبات و به طور دقیق‌تر روش‌های ارایه شده برای راستی آزمایی نتایج پرسمان‌های استفاده شده در</span></span></span> <span dir="RTL" lang="FA" style="font-size:12.0pt"><span style="line-height:115%"><span b="" nazanin="" style="font-family:">سامانه‌های مدیریت جریان داده مرور و مقایسه شده‌اند. </span></span></span> <span style="font-size:11pt"><span style="background:white"><span style="text-justify:inter-ideograph"><span style="line-height:normal"><span new="" roman="" style="font-family:" times=""><span lang="EN-US" style="font-size:10.0pt"><span style="color:#222222">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.</span></span><span lang="EN-US" style="font-size:9.0pt"><span style="color:#222222"></span></span></span></span></span></span></span> امنیت داده, برون‌سپاری محاسبات, صحت محاسبه, احرازکننده‌های اصالت همریخت Data security, Computation Outsourcing, Integrity of computation, Turing machine, Homomorphic authenticators 12 29 http://monadi.isc.org.ir/browse.php?a_code=A-10-63-1&slc_lang=fa&sid=1 Somayeh Dolatnezhad Samarin سمیه دولت‌نژاد ثمرین sdolatnezhad@ce.sharif.edu 10031947532846001737 10031947532846001737 No Sharif University of Technology ﺩﺍنشکدﻩ ﻣﻬﻨﺪسی کامپیوﺗﺮ، ﺩﺍنشگاﻩ صنعتی ﺷﺮیف، ﺗﻬﺮﺍﻥ، ﺍیرﺍﻥ Morteza Amini مرتضی امینی amini@sharif.edu 10031947532846001738 10031947532846001738 Yes Sharif University of Technology ﺩﺍنشکدﻩ ﻣﻬﻨﺪسی کامپیوﺗﺮ، ﺩﺍنشگاﻩ صنعتی ﺷﺮیف، ﺗﻬﺮﺍﻥ، ﺍیرﺍﻥ