-
شماره ركورد
6775
-
پديد آورنده
محمدرضا علي حسيني برزي
-
عنوان
درستي‌يابي صوري سيستم رأي‌گيري الكترونيكي مبتني بر زنجيره‌بلوكي
-
مقطع تحصيلي
كارشناسي
-
رشته تحصيلي
نرم افزار
-
سال فارغ التحصيلي
1398
-
استاد راهنما
دكتر محمد عبداللهي ازگمي
-
موضوع ها
رأي‌گيري , زنجيره‌بلوكي , درستي‌يابي صوري , پروملا , اسپين
-
دانشجوي وارد كننده اطلاعات
محمدرضا علي حسيني برزي
-
تاريخ ورود اطلاعات
1399/04/08
-
دانشكده
كامپيوتر
-
عنوان به انگليسي
Formal Verification of an E-Voting System Based on Blockchain
-
چكيده
رأي‌گيري يكي از مهم‌ترين جنبه‌هاي زندگي اجتماعي در دوران ما است. اكثر نهادها، از اتّحاديه‌ها و مجمع‌هاي كوچك گرفته تا نهادهاي حاكميّتي، وابسته به نتايج رأي‌گيري هستند.
از طرفي به خاطر كنترل كامل برگزاركننده‌ي رأي‌گيري بر جمع‌آوري آراء، شمارش آن‌ها و اعلام نتايج، همواره طرفين رأي‌گيري ممكن است دچار شائبه‌ي دخالت يا اشتباه در رأي‌گيري شوند.
در سيستم فعلي ما مجبور هستيم كه با صرف هزينه‌ي بالا براي گروه‌هاي ناظر مختلف و شمارش چندروزه‌ي آراء، رأي‌گيري‌ها را برگزار كنيم. امّا در نهايت باز هم نمي‌توان با قاطعيّت درستي تمام مراحل را اثبات كرد.
به همين دليل در سال‌هاي گذشته توجّهات به رأي‌گيري الكترونيكي جلب شده است. ما مي‌توانيم با استفاده از فناوري زنجيره‌بلوكي و روش‌هاي رمزنگاري معتبر، رأي‌گيري‌ها را به صورت كاملاً مطمئن، ارزان و سريع برگزار كنيم. به صورتي كه تمامي طرفين شركت‌كننده در رأي‌گيري و رأي‌دهندگان بتوانند صحّت بخش‌هاي مختلف رأي‌گيري را بدون نياز به اعتماد به يك سازمان ديگر تأييد كنند.
براي استفاده از رأي‌گيري الكترونيكي، ما نياز داريم كه درستي عمل‌كرد آن سيستم را اثبات كنيم. براي اين كار ما از ابزار اسپين و زبان پروملا به عنوان يكي از روش‌هاي صوري استفاده مي‌كنيم تا درستي كاركرد سيستم اثبات شود.
-
كليدواژه ها
رأي‌گيري , زنجيره‌بلوكي , درستي‌يابي صوري , پروملا , اسپين
-
لينک به اين مدرک :
