جدول پیوندها
-
چکیده و مقدمه
-
مقدماتی
-
نمای کلی
-
پروتکل
4.1 پروتکل انتقال گزینه کارآمد
4.2 گزینه های زنجیره ای بدون وثیقه دارنده
-
تجزیه و تحلیل امنیتی
5.1 ویژگی های انتقال گزینه
5.2 ویژگی های گزینه
-
پیاده سازی
-
کار مرتبط
-
نتیجه گیری و بحث، و مراجع
الف. کدها
ب. شواهد
ب.1 مدارک پروتکل انتقال
لم 9. روش انتقال دارنده پروتکل 4.2.1 نیازی به مشارکت باب ندارد.
اثبات بدیهی است که آلیس مالک راز تمرین نیست، انتقال دارنده برای جایگزینی آدرس دارنده و انتقال کلید عمومی الزامی است و ناهماهنگی دو زنجیره به منافع باب لطمه ای وارد نمی کند. طبق پروتکل 4.1، باب نمی تواند از کلید خصوصی انتقال آلیس، یعنی 𝑠𝑘𝐴 برای ادعای دارایی ها استفاده کند. بنابراین، در مرحله آشکارسازی و مرحله ثبات، باب الزامی به شرکت ندارد و اجازه هیچ تغییری در 𝐶𝑜𝑛𝑡𝑟𝑎𝑐𝑡𝐴 و 𝐶𝑜𝑛𝑡𝑎𝑐𝑡 ندارد.
لم 10. اگر باب و دیو مطابقت داشته باشند، روش انتقال نویسنده پروتکل 4.2.1 نیازی به مشارکت آلیس ندارد.
اثبات بدیهی است که باب صادق دو امضا را لو نمی دهد یا 𝑠𝑘𝐵 و دیو صادق در هر دو امضا 𝜎𝑚 می دهد…