-
رویکردی مبتنی بر شبکه های پتری و حساب رخداد برای تحلیل ایمنی رفتار نرم افزار
جزئیات بیشتر مقاله- تاریخ ارائه: 1386/01/01
- تاریخ انتشار در تی پی بین: 1386/01/01
- تعداد بازدید: 749
- تعداد پرسش و پاسخ ها: 0
- شماره تماس دبیرخانه رویداد: -
اگر نرم افزارهایی که سیستم های حساس به ایمنی را کنترل و هدایت می کنند رفتار نامطلوب داشته باشند، می توانند سیستم را با شکست روبرو کنند. ما در این مقاله ابتدا با استفاده از شبکه های پتری و حساب رخداد، رویکردی را برای تحلیل ایمنی رفتار نرم افزار ارائه می دهیم و سپس با طرح مسئله پروتکل ارتباطی مطمئن در شبکه، چگونگی استفاده از رویکردمان را نشان می دهیم. رویکرد ما شامل چهار قدم است: (1) استفاده از روش رسمی شبکه های پتری برای توصیف رفتار امن نرم افزار، (2) ارائه طریقی برای استخراج (3) توصیف نیازهای ایمنی با حساب رخداد و (4)، مجموعه گزاره های منطقی پایا از شبکه های پتری و توصیف آنها با حساب رخداد استفاده از گزاره های منطقی پایا برای تحلیل رفتار نرم افزار در برابر نیازهای ایمنی. گزاره های منطقی پایا، که هسته تحلیل گر رفتار نرم افزار را تشکیل می دهند، گزاره های همیشه برقراری هستند که رفتار مطلوب (ارضا نیازهای ایمنی) نرم افزار را نشان می دهند.
مقالات جدیدترین رویدادها
-
استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود
-
بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها
-
تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان)
-
تأثیر استعمال پوستی محلول منتول 10% بر ناحیه گیجگاهی در حملات حاد میگرن بدون اورا
-
نقش اقتصاد دانش بنیان در شرکت های دانش بنیان
-
تاثیر پارامترهای ژئوتکنیکی و هندسی بر روی میزان شیرابه تولیدی در لندفیل زنجان با استفاده از مدل help
-
بررسی همزیستی میکوریزایی ریشه چمن لولیوم در جذب سرب در حاشیه بزرگراه های شهری
-
pseudo-vibration sensitivities for commercial laser vibrometers
مقالات جدیدترین ژورنال ها
-
مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول
-
مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران
-
واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی
-
بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان)
-
بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان)
-
رفتارپژوهی «زندگی شهری» در شهرهای معاصر به منظور دستیابی به شهر پیاده مدار (نمونه موردی: طرح مطالعاتی خیابان شهریار، منطقه 11، تهران)
-
نقش میانجی تعهد سازمانی در تاثیر رضایت شغلی بر رفتار شهروندی سازمانی دبیران (مورد مطالعه: اداره آموزش و پرورش منطقه 13 شهر تهران)
-
حسابداران مدیریت و اجرای شیوه های حسابداری مدیریت استراتژیک
-
بررسی رابطه بین ارزش سود تقسیمی و بازده سهام شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
درآمدی بر مبانی مسئولیت سازمانی از نگاه اسلام
سوال خود را در مورد این مقاله مطرح نمایید :