تحلیل پویا و پایش امنیتی زیرساخت‌های نرم‌افزاری