Abstract
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. © 2011 Published by Elsevier Ltd.
Recommended Citation
B. R. Poreddy and S. Corns, "Arguing Security of Generic Avionic Mission Control Computer System (MCC) using Assurance Cases," Procedia Computer Science, vol. 6, pp. 499 - 504, Elsevier, Jan 2011.
The definitive version is available at https://doi.org/10.1016/j.procs.2011.08.092
Department(s)
Engineering Management and Systems Engineering
Publication Status
Open Access
Keywords and Phrases
Assurance cases; Goal structuring notation; Mission control computer; Security; Serial data bus
International Standard Serial Number (ISSN)
1877-0509
Document Type
Article - Conference proceedings
Document Version
Final Version
File Type
text
Language(s)
English
Rights
© 2024 Elsevier, All rights reserved.
Creative Commons Licensing
This work is licensed under a Creative Commons Attribution-Noncommercial-No Derivative Works 4.0 License.
Publication Date
01 Jan 2011
