Goal-Based Requirement Engineering for Fault Tolerant Security- Critical Systems

摘要: Large amount of security faults existing in software systems could be complex and hard to identify during the fault analysis. Therefore, it is not always possible fully mitigate internal or external (vulnerabilities threats) within system. On other hand, existence system may eventually lead a failure. To avoid failure target required make flexible tolerant presence faults. This paper proposes goal-based modeling approach develop requirements Security-Critical Systems (SCSs) through explicitly factoring into requirement engineering process. Our establishes Security Requirement Model (SRM) based on its respective Fault (SFM). We incorporate tolerance SRM considering partial satisfaction goals. The proposed factors this partiality goals by using proper mitigation techniques refinement contributes model for