Sharif Digital Repository / Sharif University of Technology
    • [Zoom In]
    • [Zoom Out]
  • Page 
     of  0
  • [Previous Page]
  • [Next Page]
  • [Fullscreen view]
  • [Close]
 
تحلیل امنیتی پروتکل های رای گیری الکترونیکی نامتمرکز در چارچوب ترکیب سراسری
رضایی علی آبادی، مهری Rezaei Aliabadi, Mehry

Cataloging brief

تحلیل امنیتی پروتکل های رای گیری الکترونیکی نامتمرکز در چارچوب ترکیب سراسری
پدیدآور اصلی :   رضایی علی آبادی، مهری Rezaei Aliabadi, Mehry
ناشر :   صنعتی شریف
سال انتشار  :   1393
موضوع ها :   قابلیت ایده آل Ideal Functionality چارچوب ترکیب سراسری Universal Composability Framework ...
شماره راهنما :   ‭02-49911

Find in content

sort by

Bookmark

  • پیش‌گفتار (13)
  • پیش نیاز (17)
    • رأی‌گیری الکترونیکی (17)
      • مدل کلی رأی‌گیری الکترونیکی (18)
      • ویژگی‌های امنیتی پروتکل‌های رأی‌گیری الکترونیکی (19)
      • دسته‌بندی پروتکل‌های رأی‌گیری الکترونیکی (20)
    • مفاهیم رمزنگاری مورد استفاده (21)
      • کانال‌ ارتباطی (21)
      • تابلوی اعلانات (22)
      • گروه (23)
      • احتمال ناچیز (23)
      • تمایزناپذیری محاسباتی (24)
      • کاهش (25)
      • فرضیات رمزنگاری (25)
      • سیستم رمز کلید عمومی (26)
      • پروتکل تعهد (29)
      • اثبات تعاملی (32)
      • اثبات ناتراوا (35)
      • اثبات غیرتعاملی (43)
    • امنیت اثبات‌پذیر (44)
      • روش‌های صوری (45)
      • امنیت مبتنی بر بازی (47)
      • امنیت مبتنی بر شبیه‌سازی (48)
      • امنیت تئوری اطلاعاتی و امنیت محاسباتی (48)
    • محاسبات چندعاملی امن (49)
      • توانایی‌های مهاجم (53)
      • راه‌حل‌های عام برای محاسبات چندعاملی امن (54)
    • جمع‌بندی (56)
  • چارچوب ترکیب سراسری (58)
    • نگاهی کلی به چارچوب (58)
    • دنیای واقعی و دنیای ایده‌آل (59)
    • عملکرد ایده‌آل (61)
    • توانایی مهاجم (61)
    • محیط تعاملی (62)
    • دنیای واقعی (62)
    • دنیای ایده‌آل (65)
    • دنیای پیوندی (68)
    • تعریف امنیت (71)
    • قضیه ترکیب (73)
    • پروتکل انتقال امن دوعاملی (74)
    • جمع‌بندی (78)
  • پروتکل‌های رأی‌گیری نامتمرکز (80)
    • ویژگی‌های پروتکل‌های رأی‌گیری نامتمرکز (81)
      • کارهای مرتبط (83)
      • پروتکل کیایاس و یونگ (۲۰۰۲) (84)
      • پروتکل گراث (۲۰۰4) (87)
      • پروتکل هائو، رایان و زیلینسکی (۲۰۰9) (90)
      • پروتکل هائو و همکارانش (2012) (92)
    • پروتكل رأی‌گیری نامتمرکز با چندین کاندیدا (94)
      • جمع‌بندی (96)
  • پروتکل هائو و همکارانش در چارچوب ترکیب سراسری (98)
    • توصیف دقیق پروتکل (98)
      • توصیف عملکردهای ایده‌آل مفید (99)
      • توصیف پروتكل پیوندی (102)
    • اثبات درستی پروتكل (105)
    • توصیف عملکرد ایده‌آل (111)
    • امنیت پروتكل (114)
      • توصیف غیر رسمی شبیه‌ساز (114)
      • توصیف رسمی شبیه‌ساز (115)
      • اثبات امنیت (119)
    • جمع‌بندی (126)
  • نتیجه‌گیری و پیشنهادات (128)
  • (133)
    • اثبات ادعای 5‏.‏9 (133)
  • چکیده انگلیسی (136)
Loading...