محبوبترین نویسندگان :
نویسندگان مقالات پربازدید :
سومین کنفرانس فناوری اطلاعات و دانش
جزئیات رویداد
اینستاگرام تی پی بین
همایش ، رویداد ، ژورنال
حوزه های تحت پوشش رویداد

  • رویکردی مبتنی بر شبکه های پتری و حساب رخداد برای تحلیل ایمنی رفتار نرم افزار

    نویسندگان :
    کلمات کلیدی :
    جزئیات بیشتر مقاله
    • تاریخ ارائه: 1386/01/01
    • تاریخ انتشار در تی پی بین: 1386/01/01
    • تعداد بازدید: 768
    • تعداد پرسش و پاسخ ها: 0
    • شماره تماس دبیرخانه رویداد: -
    اگر نرم افزارهایی که سیستم های حساس به ایمنی را کنترل و هدایت می کنند رفتار نامطلوب داشته باشند، می توانند سیستم را با شکست روبرو کنند. ما در این مقاله ابتدا با استفاده از شبکه های پتری و حساب رخداد، رویکردی را برای تحلیل ایمنی رفتار نرم افزار ارائه می دهیم و سپس با طرح مسئله پروتکل ارتباطی مطمئن در شبکه، چگونگی استفاده از رویکردمان را نشان می دهیم. رویکرد ما شامل چهار قدم است: (1) استفاده از روش رسمی شبکه های پتری برای توصیف رفتار امن نرم افزار، (2) ارائه طریقی برای استخراج (3) توصیف نیازهای ایمنی با حساب رخداد و (4)، مجموعه گزاره های منطقی پایا از شبکه های پتری و توصیف آنها با حساب رخداد استفاده از گزاره های منطقی پایا برای تحلیل رفتار نرم افزار در برابر نیازهای ایمنی. گزاره های منطقی پایا، که هسته تحلیل گر رفتار نرم افزار را تشکیل می دهند، گزاره های همیشه برقراری هستند که رفتار مطلوب (ارضا نیازهای ایمنی) نرم افزار را نشان می دهند.

سوال خود را در مورد این مقاله مطرح نمایید :

با انتخاب دکمه ثبت پرسش، موافقت خود را با قوانین انتشار محتوا در وبسایت تی پی بین اعلام می کنم
مقالات جدیدترین رویدادها
مقالات جدیدترین ژورنال ها