مرکز اطلاعات علمی 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

بازدید:

550
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

دانلود:

211
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

استناد:

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

عنوان

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

صفحات

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

چکیده

 رفتار نرم افزار, میتواند اثر بسیار مهم و تعیین کننده ای در سیستم های حساس به ایمنی داشته باشد. رفتار نامطلوب نرم افزار میتواند سیستم را با شکست مواجه ساخته و نتایج وخیم و غیر قابل جبرانی را به بار آورد. ما در این مقاله, در طی 4 گام, رویکردی را برای تحلیل ایمنی رفتار نرم افزار ارایه داده و سپس با طرح مساله پروتکل ارتباطی مطمئن در شبکه, چگونگی استفاده از رویکردمان را نشان می دهیم. ما در این 4 گام: (1) با استفاده از روش رسمی شبکه های پتری, به توصیف رفتار امن نرم افزار میپردازیم. (2) با ارایه راهکاری, گزاره های منطقی پایدار را از شبکه پتری استخراج کرده و آنها را با حساب رخداد بیان میکنیم. (3) نیازهای ایمنی سیستم را با حساب رخداد توصیف مینماییم. (4) با استفاده از گزاره های منطقی پایدار, رفتار نرم افزار را تحلیل میکنیم. گزاره های منطقی پایدار که هسته پایشگر را تشکیل میدهند, گزاره های همیشه برقراری هستند که رفتار مطلوب نرم افزار را نشان میدهند.

چندرسانه ای

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

    • استنادها

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

    • ارجاعات

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

    • استناددهی

    APA: کپی

    یوسفیان، حمیدرضا. (1388). رویکردی برای تحلیل ایمنی رفتار نرم افزارهای حساس به ایمنی. کنفرانس ملی مهندسی نرم افزار ایران. SID. https://sid.ir/paper/809350/fa

    Vancouver: کپی

    یوسفیان حمیدرضا. رویکردی برای تحلیل ایمنی رفتار نرم افزارهای حساس به ایمنی. 1388. Available from: https://sid.ir/paper/809350/fa

    IEEE: کپی

    حمیدرضا یوسفیان، “رویکردی برای تحلیل ایمنی رفتار نرم افزارهای حساس به ایمنی،” presented at the کنفرانس ملی مهندسی نرم افزار ایران. 1388، [Online]. Available: https://sid.ir/paper/809350/fa

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

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

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

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

    • طرح های مرتبط

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

    • کارگاه های پیشنهادی






    بازگشت به بالا
    email sharing button
    telegram sharing button
    whatsapp sharing button
    linkedin sharing button
    twitter sharing button
    email sharing button
    email sharing button
    sharethis sharing button