Loading...

Epistemic Protocols in Gossip Problem and Modeling Secrecy and Ignorance

Ramezanian, Rahim | 2018

896 Viewed
  1. Type of Document: Ph.D. Dissertation
  2. Language: Farsi
  3. Document No: 52079 (02)
  4. University: Sharif University of Technology
  5. Department: Mathematical Sciences
  6. Advisor(s): Ardeshir, Mohammad
  7. Abstract:
  8. Epistemic algorithms are instructions and rules based on knowledge of agents. These algorithms by individual or group knowledge of agents make decisions about future behavior of systems. Epistemic gossip protocols is one of these algorithms. They are used to for spreading secrets among nodes in a network. According to individual knowledge of each node they decide who calls whom in each step. In security problems epistemic algorithms are used to detect the safety of protocols. Some epistemic notions like ignorance and contingency are used in formalization of security problems. In the thesis we study these epistemic algorithms
  9. Keywords:
  10. Epistemic Logic ; Dynamic Gossip Protocols ; Distributed Contingency

 Digital Object List

 Bookmark

  • پیش‌گفتار
  • توزیع راز با غیبت
    • گراف غیبت
    • پروتکل غیبت
    • مشاهدات ابتدایی
      • خلاصه
  • پروتکل‌های غیبت ترکیبیاتی
    • پروتکل‌های موفق بر روی گراف‌های همبند ضعیف
    • کلاس گراف‌های موفق برای LNS
      • کلاس گراف‌هایی که LNS برای آن‌ها موفق قوی است
      • کلاس گراف‌هایی که LNS برای آن‌ها موفق ضعیف نیست
      • کلاس گراف‌هایی که LNS برای آن‌ها موفق ضعیف است
      • خلاصه
  • پروتکل‌های غیبت مبتنی بر دانش
    • تعاریف
      • فرضیات بر دانش
    • پروتکل‌های مبتنی بر امکان یادگیری
      • پروتکل PIG - امکان افزایش دانش
      • پروتکل TSS - رازی به من بگو
      • پروتکل HSS - رازی از من بشنو
      • پروتکل HMS - راز من را بشنو
    • پروتکل‌های مبتنی بر لزوم یادگیری
      • تماس‌های همگام در KIG
      • تماس‌های ناهمگام در KIG
    • مقایسه‌ی گسترش پروتکل‌ها
      • مدل بشنو، سپس یکپارچه کن و مدل یکپارچه کن، سپس یاد بگیر
    • خلاصه
  • نادانی توزیع شده
    • مقدمه
    • منطق عدم قطعیت توزیع شده: زبان و معناشناسی
    • قضایای صحت و تمامیت
      • قضیه تمامیت
    • کاربرد در امنیت
      • طرح تسهیم راز
      • حمله‌ی مرد میانی
      • آشکار سازی یک راز برای پنهان نمودن راز دیگر
    • بیان پذیری
      • منطق موجهات و منطق عدم قطعیت کلاسیک
      • مقایسه بیان‌پذیری منطق‌ها
      • خلاصه
  • واژه نامه فارسی به انگلیسی
  • واژه نامه انگلیسی به فارسی
  • فهرست اختصارات
  • کتاب‌نامه
...see more