روش‌های تحلیل صوری و ارزیابی ایمنی سامانه‌های حساس