Arguing Security of Generic Avionic Mission Control Computer System (MCC) using Assurance Cases

An assurance case is a body of evidence organized into an argument demonstrating that some claim about a system holds, i.e., is assured. Assurance cases are used to comment about system safety and it serves as a mean to show that the systems acceptably satisfy their safety properties. Assurance cases perform rigorous security analysis on safety-critical complex systems. In this paper, the analysis done is an approach to documenting an assurance case for system security, i.e., a security assurance case. The paper deals with the Assurance cases for Generic Avionic Mission Control Computer system, by constructing tangible claims and investigating potential vulnerabilities.