حصول اطمینان از نقل و انتقالات بین زنجیره ای ایمن و کارآمد

جدول پیوندها

1. چکیده و مقدمه

2. مقدماتی

3. نمای کلی

4. پروتکل

   4.1 پروتکل انتقال گزینه کارآمد

   4.2 گزینه های زنجیره ای بدون وثیقه دارنده

5. تجزیه و تحلیل امنیتی

   5.1 ویژگی های انتقال گزینه

   5.2 ویژگی های گزینه

6. پیاده سازی

7. کار مرتبط

8. نتیجه گیری و بحث، و مراجع

الف. کدها

ب. شواهد

5 تجزیه و تحلیل امنیتی

ما ویژگی های رضایت بخش توسط پروتکل پیشنهادی خود را تجزیه و تحلیل و اثبات می کنیم. از تصویر قبلی به یاد بیاورید که آلیس/کارول دارنده نامیده می شود و باب/دیو نویسنده است و کارول یا دیو ملزم به پرداخت هزینه انتقال به فروشنده مربوطه هستند. پرداخت 𝑃 حق بیمه نامیده می شود. 𝐴𝑠𝑠𝑒𝑡𝐺 واریز شده توسط باب ضمانت نامیده می شود. کارمزد انتقال یا هر دارایی دیگری که در قراردادها به امانت سپرده شده است، وثیقه نامیده می شود.

5.1 ویژگی های انتقال گزینه

دو ویژگی اساسی وجود دارد که باید در طول فرآیند انتقال اختیار رعایت شود.

• ایمنی (بدون زیر آب): طرف متعهد نباید هیچ وثیقه/موقعیتی را در طول فرآیند انتقال بدون کسب وثیقه/موقعیت مربوطه از دست بدهد.

• سرزندگی: در حین انتقال دارنده یا نویسنده، در صورت انطباق همه طرفین، دارنده یا نویسنده به درستی به خریدار منتقل می شود و دارنده یا نویسنده دریافت می کند…