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