Investigating Parallel Implementations of Electronic Voting Verification and Tallying Processes
| العنوان بلغة أخرى: |
التحقيق في إيجاد طرق فاعلة لعمليتي الفرز والتأكد من صحة الأصوات الإلكترونية باستخدام التقنيات والبرمجيات المتوازية |
|---|---|
| المؤلف الرئيسي: | سعادة، إسراء أحمد حسن (مؤلف) |
| مؤلفين آخرين: | عبندة، غيث على (مشرف) |
| التاريخ الميلادي: |
2015
|
| موقع: | عمان |
| الصفحات: | 1 - 63 |
| رقم MD: | 1044465 |
| نوع المحتوى: | رسائل جامعية |
| اللغة: | الإنجليزية |
| الدرجة العلمية: | رسالة ماجستير |
| الجامعة: | الجامعة الاردنية |
| الكلية: | كلية الدراسات العليا |
| الدولة: | الاردن |
| قواعد المعلومات: | Dissertations |
| مواضيع: | |
| رابط المحتوى: |
عدد مرات التحميل
39
| المستخلص: |
تتناول هذه الرسالة موضوع استخدام أنظمة التصويت الإلكتروني لخدمة الانتخابات بأنواعها عوضا عن استخدام الأنظمة الورقية. توفر الأنظمة الإلكترونية الدقة والكفاءة في العمليات الانتخابية فضلا عن تحقيقها للمتطلبات الأمنية بحيث لا يتمكن أي شخص أو جهة من العبث بعمليات أو معلومات أو نتائج هذه الأنظمة. تبنت هذه الرسالة نظام التصويت الإلكتروني الوطني الأمن (S-Vote) لتلبيته للمتطلبات الواجب توفرها في أنظمة التصويت الإلكترونية، واستخدامه التقنيات الحديثة التي تجعل التصويت الإلكتروني حلا ممكنا وأمنا، وأتباع عملياته لإجراءات آمنة، وتحليه بالحفاظ على الخصوصية التي تضمن عدم إمكانية كشف أي صوت لأي ناخب وذلك لتلافي شراء الأصوات. يعتمد نظام الـ S-Vote على تقنية تشفير تمكنه من فرز الأصوات دون الحاجة إلى فك تشفير أي منها للحفاظ على الخصوصية. إن استخدامه لهذه التقنية يستوجب اعتماده على فحصzero knowledge (ZK) proof الذي يقوم بدوره بالتأكد من صحة أصوات الناخبين دون الحاجة إلى الكشف عن أي منها وضمان وصول الأصوات الصحيحة فقط لعملية العد النهائية. بالرغم من فعالية فحص ZK بالحفاظ على الدقة والخصوصية إلا أن تعقيد وطول العمليات الحسابية التي يمر بها يحد من استخدام أنظمة التصويت الإلكترونية لعمليات انتخابية كبيرة كالانتخابات القومية أو النيابية واقتصارها على انتخابات صغيرة مثل الانتخابات البلدية والطلابية. سعت هذه الرسالة إلى استخدام تقنيات الحاسوب المتوازية لإجراء كل من عملية التحقق من صحة أصوات الناخبين وعملية فرز الأصوات الصحيحة وذلك للتقليل من الوقت المستغرق في إجراء فحص التأكد من صحة الأصوات (Zk proof). تقوم عملية التحقق من الأصوات على إجراء ثلاثة فحوصات: فحص التأكد من هوية الناخب وأنه ممن يحق لهم التصويت وأنه قام بالتصويت لمرة واحدة فقط، فحص التأكد من صحة تصويت الناخب (Zk proof)، وفحص التأكد من صحة التوقيع الإلكتروني للناخب. قدمت الرسالة ثلاث طرق مختلفة لتنفيذ عمليتي فحص وفرز الأصوات باستخدام التنفيذ المتعدد للخيوط الخاصة بلغة البرمجة جافا (Java Multithreading) والاستفادة من وحدات المعالجة المركزية المتعددة النوى (Multicore Computers) لتنفيذ الخيوط أو سلاسل التعليمات بشكل متزامن. تعرف الطريقة الأولى بـــTask Parallelism Scheme حيث يتم تقسيم عملية الفحص إلى وظائف منفصلة تقوم كل منها بإجراء إحدى الفحوصات وتنفذ بإنشاء مسار أو سلسلة تعليمات (thread) خاصة بها. الطريقة الثانية تعرف بـMaster/ Slave Parallel Scheme حيث يتم إنشاء مسار خاص بفحص وفرز أصوات كل مركز اقتراع على حدا. الطريقة الأخيرة تعرف بــ Data parallelism Scheme وتقوم بتوليد عدد من سلاسل التعليمات مساو لعدد نوى وحدات المعالجة المركزية بحيث تكون كل منها مسؤولة عن فحص وفرز مجموعة من الأصوات التي تقاسمتها فيما بينها بشكل ديناميكي ومتوازن. تم تمثيل عملية الاقتراع بإنشاء حزم من الأصوات وإخضاعها لعمليتي فحص وفرز الأصوات وفقا لإجراءات ومحددات نظامS-Vote ، من ثم تم تطبيق كل من طرق التنفيذ المتوازي وتقييمها مقارنة بالتنفيذ المتسلسل لعمليتي الفحص والفرز. أتت النتائج بتفوق Data Parallelism Scheme عن نظيراتها بتحقيقها لنسب تحسين وكفاءة عالية وبأقل التكاليف. تمكنت هذه الطريقة من فحص وفرز 64.000 صوتا يحوي كل منها على 16 مرشحا خلال 44 دقيقة وبنسبة كفاءة بلغت 86% عند استخدامها لحاسوب يحتوي على 32 نواة. تمكنتData Parallelism Scheme من تقليل الوقت المستغرق بتنفيذ فحص ZK proof وكانت نسبة التسريع والتحسين بعلاقة طردية مع عدد نوايا جهاز الحاسوب الخاص بفحص الأصوات وفرزها. يمكن باستخدام هذه الطريقة توسيع نطاق استخدام نظام S-Vote واستعماله في مختلف أنواع الانتخابات إلى جانب تقليل كلفة الامتلاك والتشغيل. على سبيل المثال، يمكن باستخدام خادم يحوي 128 نواة تقليص وقت إنجاز عمليتي الفحص والفرز لدولة بحجم الأردن من 25.4 يوما إلى 5.7 ساعة. |
|---|
عناصر مشابهة
-
Addressing Verifiability Problem of Electronic Voting System
بواسطة: Olalekan, Oladayo Sunday منشور: (2014) -
Design and Implementation of E-Voting System Based on Descriptive Statistics
بواسطة: عبدالواحد، روشنا محمد أمين منشور: (2021) -
Subject Reviewer: A Proposal for an Electronic Voting System as Trust Mediation to Adopting in Iraq
بواسطة: Hassan, Saad Mohsen منشور: (2020) -
Palestinian E-Voting System Based on Blockchain Technology
بواسطة: Awwad, Yurub Ishaq Ibrahim منشور: (2022) -
Secure Electronic Voting
بواسطة: Al Najim, Abd Allah M. منشور: (2005)
