Sharif Digital Repository / Sharif University of Technology
    • [Zoom In]
    • [Zoom Out]
  • Page 
    		 of  0
  • [Previous Page]
  • [Next Page]
  • [Fullscreen view]
  • [Close]
 
PUF-based solutions for secure communications in advanced metering infrastructure (AMI)
Delavar, M

Cataloging brief

PUF-based solutions for secure communications in advanced metering infrastructure (AMI)
Author :   Delavar, M
Publisher :   John Wiley and Sons Ltd
Pub. Year  :   2017
Subjects :   Advanced metering infrastructure (AMI) Memory leakage resilient Physical unclonable...
Call Number :  

Find in content

sort by

Bookmark

  • مقدمه (12)
    • تعریف مسئله‌ (13)
    • اهمیت مسئله‌ (15)
    • دستاوردهای پژوهش (16)
    • ساختار پایان‌نامه (16)
  • مفاهیم مورد نیاز در پژوهش (18)
    • وارسی مدل (19)
    • گراف برنامه (20)
    • معناشناسی عملیاتی سیستم‌های بدون زمان (22)
    • دسته‌بندی خواص سیستم (27)
    • توصیف خواص ایمنی غیرزمانی سیستم‌ (28)
    • منطق زمانی خطی برای توصیف خواص غیرزمانی (34)
    • اتوماتای زمان‌دار (37)
    • مجردسازی متناهی فضای حالت بی‌نهایت در اتوماتای زمان‌دار (46)
    • وارسی خواص ایمنی و مسئله‌ی شمول زبانی (56)
    • سیستم‌های ارسال پیام ناهم‌گام و زبان‌ ربکا (58)
  • کارهای پیشین (70)
    • درستی‌یابی؛ یک تاریخچه‌ی مروری (70)
    • روش‌های مبتنی بر کاهش (71)
    • وارسی ماژول (72)
    • پردازه‌های رابط (73)
    • پنداشت-ضمانت (74)
  • درستی‌یابی ترکیبی سیستم‌های زمان‌دار (77)
    • تعریف دقیق مسئله‌های پژوهش (77)
    • توصیف محیط ایمن یک سیستم باز (79)
      • مرحله‌ی 1 (ترکیب موازی اجزای سیستم و خاصیت خطای مربوطه) (82)
      • مرحله‌ی 2 (ساخت فضای حالت مجرد مبتنی بر برون‌یابی) (82)
      • مرحله‌ی 3 (پنهان‌سازی کنش‌های منحصر به الفبای سیستم) (83)
      • مرحله‌ی 4 (انتشار عقب‌گرد حالت‌های خطای سیستم) (84)
      • مرحله‌ی 5 (اختیاری - حذف کنش‌های خاموش غیربازنشان) (84)
      • مرحله‌ی 6 (قطعی‌سازی و حذف تمام کنش‌های خاموش) (88)
      • مرحله‌ی 7 (کامل‌سازی و حذف حالت‌های خطا) (90)
    • صحت‌سنجی الگوریتم (91)
    • درستی‌یابی ترکیبی اتوماتای زمان‌دار (93)
    • درستی‌یابی ترکیبی سیستم‌های ارسال پیام ناهم‌گام (95)
  • مطالعه‌ی موردی (97)
    • الگوریتم انحصار متقابل زمانی فیشر (97)
  • نتیجه‌گیری و کارهای آتی (106)
    • منطق‌های زمانی کمّی برای توصیف خاصیت‌های سیستم (106)
    • بهبود در درستی‌یابی سیستم‌های ارسال پیام ناهم‌گام (107)
    • درستی‌یابی در زمان اجرا بر اساس پنداشت محیط (107)
    • درستی‌یابی سیستم‌ها با لحاظ چند خط زمانی (108)
    • ورای سیستم‌های زمان‌دار (109)
  • مراجع (111)
  • واژه‌نامه (121)
Loading...