• بسم الله
• صفحۀ عنوان (1)
• تقدیر و تشکّر (2)
• چکیده (3)
• فهرست مطالب (4)
• فهرست تصاویر (8)
• فهرست جداول (10)
• فهرست پروتکلها (12)
• فهرست الگوریتمها (13)
• فهرست نمادها (14)
• 1 مقدّمه (16)
  • 1-1 توضیحی دربارۀ واژۀ «نا آگاه‌سازی» (17)
  • 2-1 اهداف (18)
  • 3-1 نمادگذاری و تعاریف اولیه (18)
  • 4-1 سازماندهی مطالب (21)
• 2 اثباتهای تعاملی (22)
  • 1-2 تعاریف اوّلیّه (23)
  • 2-2 مثالهایی از اثباتهای تعاملی (26)
  • 3-2 پیچیدگی دور (29)
  • 4-2 قدرت اثبات کننده (30)
  • 5-2 اثباتهای دانش و اثباتهای توان محاسباتی (30)
  • 6-2 خلاصه (32)
• 3 اثباتهای نا آگاه‌ساز (34)
  • 1-3 تعاریف (34)
  • 2-3 اثباتهای ZK برای NP (38)
    • 1-2-3 یک پروتکل «فیزیکی» (39)
    • 2-2-3 پروتکل «دیجیتال» (41)
    • 3-2-3 اثبات صحّت (42)
  • 3-3 ترکیب اثباتهای ZK (46)
  • 4-3 پیچیدگی دور اثباتهای ZK (48)
  • 5-3 نا آگاه‌سازی کامل و آماری (49)
  • 6-3 استدلالهای ZK (51)
  • 7-3 خلاصه (52)
• 4 تأثیر متقابل مدلهای نا آگاه‌سازی و مدلهای تصدیق هویّت (54)
  • 1-4 مدل کارت هوشمند (55)
    • 1-1-4 تعریف و مدل (56)
    • 2-1-4 مروری بر پروتکلهای تصدیق هویّت در مدل کارت هوشمند (59)
  • 2-4 پروتکل جدید و کارا در مدل کارت هوشمند (63)
    • 1-2-4 مقایسه با پروتکل اُکاموتو و همکارانش (63)
      • استخراج‌پذیری ورودی: (65)
    • 2-2-4 توصیف پروتکل (67)
    • 3-2-4 خاصیّت نا آگاه‌سازی (69)
      • مرحلۀ 1. (71)
      • مرحلۀ 2. (71)
      • مرحلۀ 3. (73)
    • 4-2-4 تصدیق هویّت امن (73)
      • 1-4-2-4 تفسیر نتایج لم 1-4 برای کاربرد (77)
      • 2-4-2-4 بهبود پروتکل 2-4 و تحقّق و پیاده‌سازی آن برای دنیای واقعی (79)
  • 3-4 سایر مدلهای تصدیق هویّت (80)
  • 4-4 تصدیق هویّت نا آگاه‌ساز کارا در محیطهای همروند (83)
    • 1-4-4 مشکلات اجرای همروند (85)
    • 2-4-4 پروتکل تصدیق هویّت دو گام در مدل پیشگوی تصادفی (86)
  • 5-4 خلاصه (87)
• 5 بهبود مدلهای نا آگاه‌سازی (88)
  • 1-5 مفاهیم اوّلیّه (88)
    • 1-1-5 نمادها و کوته‌نوشت‌ها (88)
      • قرارداد. (89)
    • 2-1-5 تعاریف (89)
  • 2-5 ارائۀ دو سلسله مراتب از مدلهای ZK (91)
    • 1-2-5 سلسله مراتب نخست (91)
    • 2-2-5 سلسله مراتب دوم (94)
    • 3-2-5 تفکیک K-تقریب‌پذیری نیمه قوی از تقریب‌پذیری قوی (98)
      • بررسی الگوریتم. (106)
      • تحلیل. (107)
  • 3-5 ارائۀ تکنیکی جدید در اثبات قضیۀ «وی» (107)
    • 1-3-5 مدل و اثبات «وی» (108)
    • 2-3-5 تکنیک اثبات جدید (110)
  • 4-5 ارائه مدل تکمیلی و اثبات قضیۀ ترکیب متوالی (111)
    • 1-4-5 نا امنی تحت ترکیب متوالی (111)
    • 2-4-5 مدلهایی با ورودی اضافی وابسته به پیشگو (114)
    • 3-4-5 پروتکل جدید (115)
  • 5-5 خلاصه (117)
• 6 جمع‌بندی و سوی کارهای آتی (118)
  • سوی کارهای آتی. (120)
  • 1-6 ارائه فرضی غیر جعبه‌سیاه برای حذف پیشگوی تصادفی (120)
    • 1-1-6 ایدۀ اوّلیه (120)
      • 1-1-1-6 خلاصه‌ای از مقالات AFK87, AFK89 (121)
      • 2-1-1-6 خلاصه‌ای از مقالات Can97, Can00, CMR98 (122)
      • 3-1-1-6 خانوادۀ توابع رمزناپذیر (124)
    • 2-1-6 سایر ایده‌ها (126)
  • 2-6 ارائۀ پروتکل تصدیق هویّت و اثبات امنیّت آن (126)
  • 3-6 اثبات نا آگاه‌سازی تحت ترکیب همروند (126)
• مراجع (128)
• پیوستها (148)
• الف مقدّمه‌ای بر نظریۀ پیچیدگی (150)
  • الف-1 تعاریف اولیه (151)
  • الف-2 روابط پیچیدگی میان زمان و فضا (153)
  • الف-3 کلاسهای پیچیدگی مهم (154)
  • الف-4 روابط بین کلاسهای پیچیدگی (155)
  • الف-5 پیشگوها، ماشینهای پرس‌وجو، و نسبی‌سازی (156)
  • الف-6 تحویل و مسائل کامل (158)
  • الف-7 سلسله مراتب زمانی چندجمله‌ای (160)
  • الف-8 برخی مسائل کامل برای کلاسهای پیچیدگی معروف (161)
    • الف-8-1 کلاسهای پیچیدگی معنایی و مسائل کامل (163)
  • الف-9 پیچیدگی شمارش و عملگرهای پیچیدگی (163)
  • الف-10 مدل محاسباتی غیر یکنواخت (166)
  • الف-11 ماشینهای تورینگ غیر یکنواخت و خانوادۀ مدارهای یکنواخت (170)
    • الف-11-1 ماشینهای تورینگ غیر یکنواخت (171)
    • الف-11-2 خانوادۀ مدارهای یکنواخت (172)
  • الف-12 خلاصه (173)
• ب تعاریف و اثباتهایی از مبانی رمزنگاری (174)
  • ب-1 جایگشتهای یک‌طرفۀ دریچه‌دار (174)
  • ب-2 فاصلۀ آماری (175)
  • ب-3 شِماهای تعهّد (179)
  • ب-4 نا آگاه‌سازی آماری (180)
• پ واژگان (182)
  • پ-1 واژگان انگلیسی به فارسی (182)
  • پ-2 واژگان فارسی به انگلیسی (191)
  • پ-3 کوته‌نوشتها (200)
• چکیدۀ انگلیسی (205)
• صفحۀ عنوان انگلیسی (207)