Patterns for Integrating NIST 800-53 Controls into Security Assurance Cases

Torin Viger, Simon Diemert, Olivia Foster
Computer Safety, Reliability, and Security (SafeCOMP) Workshops · 2023 · Conference/Workshop

Abstract

It is increasingly important to ensure that critical systems are appropriately secure and protected against malicious threats. In this paper, we present a novel pattern for Security Assurance Cases that integrates security controls from the NIST-800-53 cyber security standard into a comprehensive argument about system security. Our framework uses Eliminative Argumentation to increase confidence that these controls have been applied correctly by explicitly considering and addressing doubts in the argument.