رویکردی مبتنی بر شبکههای پتری و حساب رخداد برای تحلیل ایمنی رفتار نرمافزار
Publish Year: 1386
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 1,436
This Paper With 8 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ICIKT03_108
تاریخ نمایه سازی: 22 فروردین 1387
Abstract:
اگر نرمافزارهایی که سیستمهای حساس به ایمنی را کنترل و هدایت میکنند رفتار نامطلوب داشته باشند، میتوانند سیستم را با شکست روبرو کنند . ما در این مقاله ابتدا با استفاده از شبکههای پتری و حساب رخداد، رویکردی را برای تحلیل ایمنی رفتار نرم - افزار ارائه میدهیم و سپس با طرح مسئله پروتکل ارتباطی مطمئن در شبکه، چگونگی استفاده از رویکردمان را نشان میدهیم . رویکرد
ما شامل چهار قدم است : (1) استفاده از روش رسمی شبکههای پتری برای توصیف رفتار امن نرمافزار، (2) ارائه طریقی برای استخراج مجموعه گزارههای منطقی پایا 1 از شبکههای پتری 2 و توصیف آنها با حساب رخداد 3 ، (3) توصیف نیازهای ایمنی با حساب رخداد و (4) استفاده از گزارههای منطقی پایا برای تحلیل رفتار نرمافزار در برابر نیازهای ایمنی . گزارههای منطقی پایا، که هسته تحلیلگر رفتار نرم - افزار را تشکیل میدهند، گزارههای همیشه برقراری هستند که رفتار مطلوب ( ارضا نیازهای ایمنی ) نرمافزار را نشان میدهند .
Keywords:
Authors
سیدمرتضی بابامیر
استادیار گروه مهندسی کامپیوتر دانشگاه کاشان
سعید جلیلی
استادیار گروه مهندسی کامپیوتر دانشگاه تربیت مدرس
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :