محبوبترین نویسندگان :
نویسندگان مقالات پربازدید :
نوزدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران
جزئیات رویداد
همایش ، رویداد ، ژورنال
اینستاگرام تی پی بین
حوزه های تحت پوشش رویداد

  • مدل سازی و تحلیل پروتکل رای گیری f.o.o با ابزارهای تحلیل صوری

    نویسندگان :
    کلمات کلیدی :
    جزئیات بیشتر مقاله
    • تاریخ ارائه: 1392/07/24
    • تاریخ انتشار در تی پی بین: 1392/07/24
    • تعداد بازدید: 1048
    • تعداد پرسش و پاسخ ها: 0
    • شماره تماس دبیرخانه رویداد: -
    پروتکل های رای گیری گام هایی را مشخص می کنند که افراد با پیمودن آن می توانند در رای گیری شرکت کرده و رای خود را به ثبت برسانند و در عین حال از صحت انتخابات نیز مطمئن باشند. بنابراین این پروتکل ها بایستی خواسته های امنیتی خاصی را برآورده کنند. در این مقاله سعی داریم با مدلسازی پروتکل f.o.o با ابزارهای صوری، برخی از ویژگی های امنیتی آن را تحلیل کنیم. همچنین نشان می دهیم که برخلاف ادعای این پروتکل در محیط هایی با مقیاس وسیع تنها در شرایط ایده آل (و در برخی موارد نزدیک به ایده آل) قابل استفاده است، اما در حالت کلی برای محیطی که مقیاس وسیعی را دربر می گیرد، قابل استفاده نخواهد بود.

سوال خود را در مورد این مقاله مطرح نمایید :

با انتخاب دکمه ثبت پرسش، موافقت خود را با قوانین انتشار محتوا در وبسایت تی پی بین اعلام می کنم
مقالات جدیدترین رویدادها
مقالات جدیدترین ژورنال ها