امکان سنجی رای گیری الکترونیکی راه دور و مسائل امنیتی آن
چکیده
تاکنون پروتکل های امنیتی گوناگونی به منظور پیاده سازی امن و کارای رای گیری الکترونیکی راه دور در دنیا ارائه شده است. هم چنین با امکان پذیر شدن پیاده سازی این پروتکل ها، نیازمندی های جدیدی که تا پیش از این موضوعی کاملا آرمانی و دست نیافتنی به نظر می آمد، مطرح شد. پروتکل های جدید در پی یافتن راه کاری به منظور پیاده سازی این نیازمندی ها هستند. در این پژوهش، پس از تحقیق و بررسی، پروتکل jcj به خاطر مزیت های بسیار آن و نیز سازگاری کامل با استانداردهای پیاده سازی انتخاب شد. پس از بررسی انجام گرفته، نقاط ضعف و آسیب پذیری این پروتکل پیدا شد و با ارائه راهکارهایی کارا پروتکل بهبود یافته jcj در این پایان نامه مطرح شد. نتایج بدست آمده را با استفاده از ابزار تائیدیه پروتکل مدل سازی نمودیم. با اصلاح سرورهای پروتکل و بسط دادن مواردی در ساختار پروتکل، نقاط ضعف آن را برطرف نموده و مزیت های آن را بهبود بخشیدیم. در انتها یک آسیب پذیری بسیار بزرگ و البته غیر پروتکلی در زمینه ارتباط در سمت مشتری مطرح خواهد شد و به منظور رفع این آسیب پذیری روش کدگذاری رای بیان می شود. آسیب پذیری از وجود حفره ها و نفوذپذیری در خود سیستم عامل و یا بستر ناامن اینترنت نشأت می گیرد و راه کار بیان شده جدا از خود پروتکل است و به نوعی امن سازی روش انتقال با وجود حفره های سیستم عامل به شمار می رود.