6775

درستي‌يابي صوري سيستم رأي‌گيري الكترونيكي مبتني بر زنجيره‌بلوكي

كارشناسي

نرم افزار

1398

دكتر محمد عبداللهي ازگمي

1399/04/08

كامپيوتر

Formal Verification of an E-Voting System Based on Blockchain

رأي‌گيري يكي از مهم‌ترين جنبه‌هاي زندگي اجتماعي در دوران ما است. اكثر نهادها، از اتّحاديه‌ها و مجمع‌هاي كوچك گرفته تا نهادهاي حاكميّتي، وابسته به نتايج رأي‌گيري هستند. از طرفي به خاطر كنترل كامل برگزاركننده‌ي رأي‌گيري بر جمع‌آوري آراء، شمارش آن‌ها و اعلام نتايج، همواره طرفين رأي‌گيري ممكن است دچار شائبه‌ي دخالت يا اشتباه در رأي‌گيري شوند. در سيستم فعلي ما مجبور هستيم كه با صرف هزينه‌ي بالا براي گروه‌هاي ناظر مختلف و شمارش چندروزه‌ي آراء، رأي‌گيري‌ها را برگزار كنيم. امّا در نهايت باز هم نمي‌توان با قاطعيّت درستي تمام مراحل را اثبات كرد. به همين دليل در سال‌هاي گذشته توجّهات به رأي‌گيري الكترونيكي جلب شده است. ما مي‌توانيم با استفاده از فناوري زنجيره‌بلوكي و روش‌هاي رمزنگاري معتبر، رأي‌گيري‌ها را به صورت كاملاً مطمئن، ارزان و سريع برگزار كنيم. به صورتي كه تمامي طرفين شركت‌كننده در رأي‌گيري و رأي‌دهندگان بتوانند صحّت بخش‌هاي مختلف رأي‌گيري را بدون نياز به اعتماد به يك سازمان ديگر تأييد كنند. براي استفاده از رأي‌گيري الكترونيكي، ما نياز داريم كه درستي عمل‌كرد آن سيستم را اثبات كنيم. براي اين كار ما از ابزار اسپين و زبان پروملا به عنوان يكي از روش‌هاي صوري استفاده مي‌كنيم تا درستي كاركرد سيستم اثبات شود.

رأي‌گيري , زنجيره‌بلوكي , درستي‌يابي صوري , پروملا , اسپين