• 1 مقدمه (11)
• 2 پیش‌نیازها (14)
  • 2‏.‏1 رمزنگاری (14)
    • 2‏.‏1‏.‏1 تابع ناچیز (14)
    • 2‏.‏1‏.‏2 فرض‌های فیزیکی (15)
    • 2‏.‏1‏.‏3 سیستم رمزنگاری الجمال (15)
  • 2‏.‏2 امنیت اثبات‌پذیر (16)
    • 2‏.‏2‏.‏1 تاریخچه امنیت اثبات‌پذیر محاسباتی (17)
    • 2‏.‏2‏.‏2 کاربرد روش‌های اثبات‌پذیر محاسباتی (17)
    • 2‏.‏2‏.‏3 چگونگی ارائه یک اثبات امنیتی محاسباتی (18)
  • 2‏.‏3 رأی‌گیری (23)
    • 2‏.‏3‏.‏1 مدل کلی پروتکل‌های رأی‌گیری الکترونیکی (24)
    • 2‏.‏3‏.‏2 انواع پروتکل‌های رأی‌گیری الکترونیکی (24)
    • 2‏.‏3‏.‏3 ویژگی‌های پروتکل‌های رأی‌گیری الکترونیکی (25)
  • 2‏.‏4 ساختارهای رمزنگاری مورد استفاده (27)
    • 2‏.‏4‏.‏1 سیستم رمزنگاری الجمال تغییریافته (27)
    • 2‏.‏4‏.‏2 سیستم رمزنگاری آستانه‌ای با قابلیت رمزگذاری مجدد (27)
    • 2‏.‏4‏.‏3 آزمون یکسانی متن آشکار (28)
    • 2‏.‏4‏.‏4 شبکه درهم‌ساز (28)
    • 2‏.‏4‏.‏5 اثبات دانش (29)
• 3 کارهای مرتبط (30)
  • 3‏.‏1 پروتکل‌های مبتنی بر شبکه‌ درهم‌ساز (30)
  • 3‏.‏2 پروتکل‌های مبتنی بر رمزنگاری همریخت (33)
  • 3‏.‏3 پروتکل‌های مبتنی بر امضای کور (35)
  • 3‏.‏4 جمع‌بندی (36)
• 4 ارائه یک پروتکل مقاوم در برابر اجبار کارا و دارای امنیت اثبات‌پذیر (38)
  • 4‏.‏1 مدل و تعریف (40)
    • 4‏.‏1‏.‏1 موجودیت‌های سیستم (40)
    • 4‏.‏1‏.‏2 توابع سیستم (41)
    • 4‏.‏1‏.‏3 مدل حمله (42)
    • 4‏.‏1‏.‏4 تعریف صوری مقاومت در برابر اجبار (44)
  • 4‏.‏2 پروتکل جولز و همکارانش (47)
  • 4‏.‏3 کارهای مرتبط (50)
  • 4‏.‏4 پروتکل پیشنهادی (53)
    • 4‏.‏4‏.‏1 بررسی ویژگی‌ها (56)
  • 4‏.‏5 اثبات مقاومت در برابر اجبار (56)
    • 4‏.‏5‏.‏1 مرور کلی اثبات (57)
    • 4‏.‏5‏.‏2 شبیه‌سازی (57)
  • 4‏.‏6 جمع‌بندی (62)
• 5 حداقل فرضیات برای دست‌یابی به حریم خصوصی در پروتکل‌های رأی‌گیری الکترونیکی (64)
  • 5‏.‏1 مقدمه (64)
  • 5‏.‏2 کارهای مرتبط (66)
  • 5‏.‏3 فرضیات (67)
    • 5‏.‏3‏.‏1 فرضیات محدود کننده (67)
    • 5‏.‏3‏.‏2 فرضیات کمکی (68)
  • 5‏.‏4 اشکال در اثبات ناسازگاری (68)
  • 5‏.‏5 دسترس‌ناپذیری حریم خصوصی (69)
    • 5‏.‏5‏.‏1 دسترس‌ناپذیری حریم خصوصی (70)
    • 5‏.‏5‏.‏2 دسترس‌ناپذیری حریم خصوصی با وجود طرف سوم معتمد (71)
    • 5‏.‏5‏.‏3 دسترس‌ناپذیری حریم خصوصی با وجود طرف سوم معتمد و کانال غیر قابل نفوذ بین مراجع (74)
  • 5‏.‏6 حداقل فرضیات برای دستیابی به حریم خصوصی (75)
  • 5‏.‏7 جمع‌بندی (75)
• 6 جمع‌بندی و سوی کارهای آتی (77)
• کتاب‌نامه (79)
• واژه‌نامه‌ی فارسی به انگلیسی (86)
• واژه‌نامه‌ی انگلیسی به فارسی (89)