Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

مقاله مقاله نشریه

مشخصات مقاله

Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

video

Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

sound

Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

نسخه انگلیسی

Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید:

1,138
Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

دانلود:

0
Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

استناد:

1

اطلاعات مقاله نشریه

عنوان

مدلی برای توصیف پروتکل های رمزنگاری و تفسیر اجرایی مدل با رویکرد جبری

صفحات

 صفحه شروع 11 | صفحه پایان 29

چکیده

 اگرچه روشهای تحلیل منطقی و روشهای ساخت حمله, دو رویکرد کلی در زمینه تحلیل پروتکل های رمزنگاری است, اما اغلب برای تحلیل پروتکل ها, به کارگیری توام آنها مناسبتر است. در این مقاله, یک چارچوب عمومی برای یکپارچه سازی تحلیل امنیت پروتکل های رمزنگاری ارایه شده است. بر اساس این چارچوب می توان روشهایی تحلیلی ارایه کرد که در آنها وارسی وجود ویژگیهای امنیتی در پروتکل, همراه با وارسی وجود سناریوهای نقض ویژگیهای امنیتی, به صورت یکجا انجام می شود. در این مقاله همچنین یک مدل محاسباتی برای پروتکل های رمزنگاری, به عنوان جزیی از چارچوب عمومی مذکور همراه با یک تفسیر اجرایی از آن, بر اساس سیستم های بازنویسی جبری ارایه شده است. با توصیف پروتکل در قالب مجموعه ای از گامهای منفرد و به کمک یک الگوریتم تبدیل, مجموعه ای پایان پذیر و همگرا از قوانین بازنویسی مولد مسیر اجرای پروتکل ایجاد می شود. توصیف یک پروتکل رمزنگاری در چارچوب ارایه شده نیز به عنوان نمونه بیان شده است .

استنادها

ارجاعات

  • ثبت نشده است.
  • استناددهی

    APA: کپی

    جلیلی، سعید، و ترک لادانی، بهروز. (1382). مدلی برای توصیف پروتکل های رمزنگاری و تفسیر اجرایی مدل با رویکرد جبری. فنی و مهندسی مدرس، -(13)، 11-29. SID. https://sid.ir/paper/419433/fa

    Vancouver: کپی

    جلیلی سعید، ترک لادانی بهروز. مدلی برای توصیف پروتکل های رمزنگاری و تفسیر اجرایی مدل با رویکرد جبری. فنی و مهندسی مدرس[Internet]. 1382؛-(13):11-29. Available from: https://sid.ir/paper/419433/fa

    IEEE: کپی

    سعید جلیلی، و بهروز ترک لادانی، “مدلی برای توصیف پروتکل های رمزنگاری و تفسیر اجرایی مدل با رویکرد جبری،” فنی و مهندسی مدرس، vol. -، no. 13، pp. 11–29، 1382، [Online]. Available: https://sid.ir/paper/419433/fa

    مقالات مرتبط نشریه ای

    مقالات مرتبط همایشی

  • ثبت نشده است.
  • طرح های مرتبط

  • ثبت نشده است.
  • کارگاه های پیشنهادی






    مرکز اطلاعات علمی SID
    strs
    دانشگاه امام حسین
    بنیاد ملی بازیهای رایانه ای
    کلید پژوه
    ایران سرچ
    ایران سرچ
    فایل موجود نیست.
    بازگشت به بالا