کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6873845 | 1440707 | 2018 | 17 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Verifying the consistency of remote untrusted services with conflict-free operations
ترجمه فارسی عنوان
تأیید صحت خدمات غیرقابل اعتماد از راه دور با عملیات بدون وقفه
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
پردازش ابری، خطی سازگاری چنگال، یکپارچگی داده، محاسبه قابل اطمینان، عملیات بدون اختلاف، تقلید بیزانس،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
A group of mutually trusting clients outsources a computation to a remote server, which they do not fully trust and that may be subject to attacks. The clients do not communicate with each other and would like to verify the correctness of the remote computation and the consistency of the server's responses. This paper presents the Conflict-free Operation verification Protocol (COP) that ensures linearizability when the server is correct and preserves fork-linearizability otherwise. Clients that observe each other's operations are consistent and their operations are linearizable. If the server forks two clients by hiding an operation, however, they never again see operations of each other. COP is wait-free in the sense that when executed with a correct server, non-conflicting operations can run without waiting for other clients. The paper gives a precise model for the guarantees of COP and includes a formal analysis that these are achieved.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Computation - Volume 260, June 2018, Pages 72-88
Journal: Information and Computation - Volume 260, June 2018, Pages 72-88
نویسندگان
Christian Cachin, Olga Ohrimenko,