مهران آقائی - عضو هیات علمی دانشگاه پیام نور

امنیت یکی از ویژگی های مهم نرم افزار است. برخی روش های تست امنیت نرم افزار، مبتنی بر پارامترهای دقیق یا بر مبنای ساختار تابع هستند و نمی توانند با محیط پیچیده و نیازهای ایمنی سازگار شوند، به ویژه در محیط های توزیع شده و بزرگ. در این مقاله براساس تئوری پتری نت تصادفی SPN و با استفاده از پارامترهای اندازه گیری قابلیت اعتماد SPN، امنیت نرم افزار کاربردی را مورد تحلیل قرار میدهیم و سپس آنالیز و طراحی سیستم نرم افزاری را ارائه میدهیم تا یک روش تست امنیت نرم افزار براساس مدل SPN مورد بررسی قرار گیرد. با انجام آنالیز نمونه، مشخص است که این روش می تواند به صورت طبیعی، سریع و کارآمد، وضعیت سیستم غیرفعال یا ترکیب حالتها را بیابد، در حالیکه یک روش جدید برای تست امنیت نرم افزار کاربردی ارائه می دهد

تئوری پتری نت تصادفی، تست قابلیت اعتماد نرم افزار، مدل زنجیره مارکوف، آنالیز امنیت نرم افزار