رأي گيري الکترونیکی

1. کارگاه طراحي و تحليل پروتکل هاي رأي گيري الکترونيکي رأي گيري الکترونیکی مريم رجب زاده عصار asaar@ee.sharif.edu

2. فهرست مطالب • رأی گيری الکترونیکی • ويژگی های رأی گيری الکترونیکی • دسته بندی های رأی گيری الکترونیکی • معرفی يک نمونه از طرح های رأی گيری الکترونیکی • امنيت قابل اثبات • معرفی مدل پيشگوي تصادفي • تحلیل امنیتی یک ویژگی از یک طرح رأي گيري الکترونيکي 1390/3/5

3. رأی گيری اينترنتی درهم شکستن مرزهای جغرافیایی صرفه جویی در زمان اعلام سریع نتایج 1390/3/5

4. ويژگی های رأی گيری اينترنتی • صلاحیت • گمنامی • وارسی پذیری • بی رسيدی • عدم اجبار • جعل ناپذیری رأی • بي‌طرفي • استحکام • تحرک • قابليت توسعه 1390/3/5

5. دسته بندی های رأی گيری اينترنتی • تقسيم بندی طرح های رأی گيری بر مبنای ارائه رأی • رأی مخفی • رأی دهنده مخفی • رأی دهنده مخفی با رأی مخفی • تقسيم بندی طرح های رأی گيری بر اساس مبانی مورد استفاده • رمزنگاری همريخت • کانال گمنام • امضای کور 1390/3/5

6. دسته بندی های رأی گيری اينترنتی • رأی مخفی رأی رمز شده با کلید عمومی نهاد شمارش و اثبات صحت محتوای رأی پایگاه داده مجموع آراء و صحت عملیات رمزگشایی وارسی صحت محتوای رأی و ارسال رأی رمز شده رأی دهنده رمز شده مجموع آراء نهاد شمارش 1390/3/5

7. دسته بندی های رأی گيری اينترنتی • رأی دهنده مخفی رأی رمز شده با کلید عمومی کانال مخلوط رمزگشا پایگاه داده رأی رمز شده رأی و مجموع آراء کانال مخلوط رمزگشا رأی دهنده رأی جایگشت یافته نهاد شمارش 1390/3/5

8. دسته بندی های رأی گيری اينترنتی • رأی مخفی با رأی دهنده مخفی پایگاه داده رأی رمز شده مجموع آراء و اثبات صحت رمزگشایی رأی رمز شده کانال مخلوط رمز کننده مجدد رأی دهنده رأی رمز شده جایگشت یافته نهاد شمارش 1390/3/5

9. دسته بندی های رأی گيری اينترنتی • رأی مخفی با رأی دهنده مخفی پایگاه داده رأی معتبر رمز شده مجموع آراء رأی معتبر رمز شده کانال مخلوط رمزگشا رأی دهنده رأی معتبر جایگشت یافته نهاد شمارش 1390/3/5

10. دسته بندی های رأی گيری اينترنتی • تقسيم بندی طرح های رأی گيری بر مبنای مبانی مورد استفاده • رمزنگاری همريخت • کانال گمنام • امضای کور 1390/3/5

11. معرفی طرح رأی گيری با رسید چندگانه • مرحله مقدماتی • مرحله ثبت نام • مرحله اخذ رأی • مرحله شمارش • مرحله وارسی 1390/3/5

12. مرحله ثبت نام • مرحله تولید پارامتر نهاد رأی گیری رأی دهنده 1390/3/5

13. مرحله ثبت نام • مرحله تولید امضاء • نهاد رأی گیری، بعد از وارسی امضای رأی دهنده مقدار را از رابطه زیر محاسبه می کند. • مقدار به رأی دهنده ارسال می شود. 1390/3/5

14. مرحله ثبت نام • مرحله ایجاد رأی • رأی دهنده مقدار را محاسبه کرده و سپس رأی معتبر خود را به صورت زیر محاسبه می کند. • سه تایی رأی معتبر است که با استفاده از رابطه زیر، اعتبار آن وارسی می شود. 1390/3/5

15. مراحل رأی گيری، شمارش، و وارسی • رأی دهنده، رأی خود را از طریق کانال گمنام به نهاد رأی گیری ارسال می کند. • نهاد رأی گیری بررسی می کند : • صحت رأی با وارسی • یکتایی 1390/3/5

16. ويژگی های طرح معرفی شده • صلاحیت • گمنامی • مقاومت در برابر رأی مجدد • وارسی پذیری • بي‌طرفي • بی رسیدی • صحت شمارش • قابليت توسعه • تحرک 1390/3/5

17. امنيت قابل اثبات • اثبات عدم وجود حمله کننده با قابليت شکستن طرح • چگونه؟ • تعريف مفاهيم امنيتي • اثبات چگونگي وابستگي امنيت طرح به امنيت مباني تشکيل دهنده آن 1390/3/5

18. مدل تحویل عامل غیر مجاز • شکستن طرح الگوریتم شبیه ساز با استفاده از عامل غیر مجاز ورودی های يک مسأله سخت حل يک نمونه سخت مسأله سخت 1390/3/5

19. امنیت امضای کور • تعاريف • جعل يکی بيشتر: امکان دستيابی به l+1 امضاء توسط عامل غير مجاز پس از l تعامل با امضاء کننده در زمان چندجمله ای با احتمال قابل قبولی وجود دارد. • جعل ناپذيري امضای کور: يک طرح امضای کور، جعل ناپذير است اگر عامل غير مجاز در زمان چند جمله ای موفق به جعل يکی بيشتر نشود. 1390/3/5

20. اثبات ويژگي جعل ناپذيري رأي • تعريف 1. مسأله ريشه مربعي: به ازای پيمانه n و عدد صحيح مانده مربعی a، پيدا کردن عدد صحيح b بطوريکه داشته باشيم. • تعريف 2. جعل ناپذيري تعرفه رأي: طرح رأی گيری دارای اين ويژگی است اگر طرح امضای کور مورد استفاده در آن نسبت به جعل یکی بیشتر مقاوم باشد. 1390/3/5

21. اثبات ويژگي جعل ناپذيري رأي • لم Forking : فرض کنيد که (s,(m,c)) يک زوج معتبر امضاء و پيام است. فرض کنيد که A ماشين تورينگ احتمالي با زمان اجراي چندجمله اي باشد. اگر A با اطلاعات عمومي طرح امضاء، يک زوج معتبر امضاء و پيام را با احتمال قابل ملاحظه ای توليد کند، آنگاهتکرار اين ماشين با همان نوار تصادفي کننده و پيشگوي تصادفي متفاوت منجر به توليد دو زوج امضاي معتبر با پيشگوهاي تصادفي متفاوت خواهد شد. 1390/3/5

22. اثبات ويژگي جعل ناپذيري رأي • قضيه: اگر عامل غير مجاز در زمان چندجمله ای بتواند امضای کور با احتمال و در زمان بعد از تعامل با پيشگوی امضا کننده و تعامل با پيشگوی تصادفی جعل کند، آنگاه مسأله ريشه مربعی در زمان و با احتمال حل خواهد شد. 1390/3/5

23. اثبات ويژگي جعل ناپذيري رأي اثبات: مبتنی بر برهان خلف • پرسش از پيشگوی H توسط A روی • پاسخ توسط الگوريتم شبيه ساز به صورت • با فرض موفقيت A در جعل يک رأی با انديس j در بين امضا 1390/3/5

24. اثبات ويژگي جعل ناپذيري رأي • تکرار A با همان نوار تصادفی کننده با پيشگوی تصادفی متفاوت • پاسخ الگوريتم شبيه ساز به صورت زير است: 1390/3/5

25. اثبات ويژگي جعل ناپذيري رأي • احتمال forking موفق حداقل است. • با forking موفق، دو رأی معتبر و ايجاد می شود. 1390/3/5

26. اثبات ويژگي جعل ناپذيري رأي 1390/3/5

27. نتيجه گيری • رأی گیری الکترونیکی • ویژگی های مطرح شده در این طرح ها • دسته بندیهای متفاوت طرح های رأی گیری اینترنتی • معرفی یک طرح رأی گیری الکترونیکی • تحلیل امنیتی یک ویژگی از یک طرح رأي گيري الکترونيکي 1390/3/5

28. با تشکر از توجه شما 1390/3/5