-
رویکردی مبتنی بر شبکه های پتری و حساب رخداد برای تحلیل ایمنی رفتار نرم افزار
جزئیات بیشتر مقاله- تاریخ ارائه: 1386/01/01
- تاریخ انتشار در تی پی بین: 1386/01/01
- تعداد بازدید: 812
- تعداد پرسش و پاسخ ها: 0
- شماره تماس دبیرخانه رویداد: -
اگر نرم افزارهایی که سیستم های حساس به ایمنی را کنترل و هدایت می کنند رفتار نامطلوب داشته باشند، می توانند سیستم را با شکست روبرو کنند. ما در این مقاله ابتدا با استفاده از شبکه های پتری و حساب رخداد، رویکردی را برای تحلیل ایمنی رفتار نرم افزار ارائه می دهیم و سپس با طرح مسئله پروتکل ارتباطی مطمئن در شبکه، چگونگی استفاده از رویکردمان را نشان می دهیم. رویکرد ما شامل چهار قدم است: (1) استفاده از روش رسمی شبکه های پتری برای توصیف رفتار امن نرم افزار، (2) ارائه طریقی برای استخراج (3) توصیف نیازهای ایمنی با حساب رخداد و (4)، مجموعه گزاره های منطقی پایا از شبکه های پتری و توصیف آنها با حساب رخداد استفاده از گزاره های منطقی پایا برای تحلیل رفتار نرم افزار در برابر نیازهای ایمنی. گزاره های منطقی پایا، که هسته تحلیل گر رفتار نرم افزار را تشکیل می دهند، گزاره های همیشه برقراری هستند که رفتار مطلوب (ارضا نیازهای ایمنی) نرم افزار را نشان می دهند.
مقالات جدیدترین رویدادها
-
استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود
-
بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها
-
تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان)
-
پیش بینی روند تغییرات کالبدی و جمعیتی نواحی شهری با بهره گیری از مدل اتوماسیون سلولی (ca) و زنجیره مارکوف، مطالعه موردی: ناحیه 3 از منطقه 3 شهرداری مشهد
-
علل کوتاهی قد کودکان در شهر گرگان
-
ارزیابی مقدماتی از تنش بیشینه برشی و نرخ کرنش حاکم بر برش گرانیت میلونیتی ده زمان، گستره کوه سرهنگی، شمال باختر بلوک لوت
-
جایگاه فناوری در آینده شهری
-
load modeling for wide area power system
مقالات جدیدترین ژورنال ها
-
مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول
-
مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران
-
واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی
-
بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان)
-
بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان)
-
امکان سنجی تاثیر تبلیغات تلویزیونی برای توسعه گردشگری جزیره کیش طی پنج سال گذشته
-
درمان پذیرش و تعهد و اختلال شخصیت مرزی: مطالعه تک آزمودنی
-
بازآفرینی نگاره های نسخۀ خطّی منظومۀ ورقه و گلشاه
-
بررسی تأثیر دوره تصدی و استقلال حسابرس بر تعداد بندهای گزارش حسابرس
-
synthesis and investigation of polypropylene random copolymers yarn with high flexibility and changeable length
سوال خود را در مورد این مقاله مطرح نمایید :