|
وارسی صحت اجرای محاسبات برون‌سپاری شده
|
سمیه دولت‌نژاد ثمرین   ، مرتضی امینی* |
| ﺩﺍنشکدﻩ ﻣﻬﻨﺪسی کامپیوﺗﺮ، ﺩﺍنشگاﻩ صنعتی ﺷﺮیف، ﺗﻬﺮﺍﻥ، ﺍیرﺍﻥ |
|
|
چکیده: (1809 مشاهده) |
| در سال‌های اخیر، یکی از موضوعات مورد پژوهش در حوزه‌ی امنیت محاسبات برون‌سپاری شده، راستی‌آزمایی صحت اجرای محاسبات برون‌سپاری شده است. محاسبات برون‌سپاری شده، بر روی داده‌های دریافتی از یک یا چند منبع داده قابل اجرا می‌باشند. در حال حاضر روش‌های محدودی برای محاسبات برون‌سپاری شده با منابع داده توزیع شده ارایه شده‌اند. راه‌حل‌های ارایه شده در این حوزه جهت راستی‌آزمایی صحت اجرای انواع توابع، توابع تجمعی، توابع خطی و توابع چند جمله‌ای در سه دسته اصلی محاسبات وارسی‌پذیر، احرازکننده‌های اصالت همریخت و روش‌های ارایه شده برای کاربرد خاص )نظیر پایگاه‌داده‌های برون‌سپاری شده، شبکه‌های حسگر بی‌سیم و سامانه‌های مدیریت جریان داده( قرار می‌گیرند. در این مقاله روش‌های مختلف ارایه شده برای راستی آزمایی صحت اجرای محاسبات و به طور دقیق‌تر روش‌های ارایه شده برای راستی آزمایی نتایج پرسمان‌های استفاده شده در سامانه‌های مدیریت جریان داده مرور و مقایسه شده‌اند. |
|
| واژه‌های کلیدی: امنیت داده، برون‌سپاری محاسبات، صحت محاسبه، احرازکننده‌های اصالت همریخت |
|
|
متن کامل [PDF 1340 kb]
(641 دریافت)
|
نوع مطالعه: مروری |
موضوع مقاله:
رمز و امنیت اطلاعات
دریافت: 1401/9/24 | پذیرش: 1402/3/17 | انتشار: 1402/6/10
|
|
|
|
|
|
|
| ارسال پیام به نویسنده مسئول |
|
|
|
| ارسال نظر درباره این مقاله |
|
|
|
