Systems Security Engineering – Considerations for a Multidisciplinary Approach in the Engineering of Trustworthy Secure Systems

Target entity: Systems Security Engineering – Considerations for a Multidisciplinary Approach in the Engineering of Trustworthy Secure Systems
Context triple: [NIST SP 800-160 Volume 1, subtitle, Systems Security Engineering – Considerations for a Multidisciplinary Approach in the Engineering of Trustworthy Secure Systems]

• A. “seL4: Formal Verification of an OS Kernel”
  “seL4: Formal Verification of an OS Kernel” is a landmark research paper that presents the first formally verified, general-purpose microkernel, demonstrating end-to-end mathematical proofs of its functional correctness and security properties.
• B. The Essence of Security
  "The Essence of Security" is a book by former U.S. Secretary of Defense Robert McNamara that outlines his views on national security, nuclear strategy, and defense policy during the Cold War.
• C. Network Security: Private Communication in a Public World
  "Network Security: Private Communication in a Public World" is a widely used technical book that explains the principles, protocols, and practical mechanisms for securing digital communications over insecure networks.
• D. Butler Lampson security model
  The Butler Lampson security model is a foundational computer security framework that formalizes access control using capabilities and protection domains to manage and restrict how programs and users interact with system resources.
• E. USENIX Security
  USENIX Security is a leading annual academic conference focused on cutting-edge research in computer security and privacy.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target entity: Systems Security Engineering – Considerations for a Multidisciplinary Approach in the Engineering of Trustworthy Secure Systems
Target entity description: "Systems Security Engineering – Considerations for a Multidisciplinary Approach in the Engineering of Trustworthy Secure Systems" is a NIST special publication that provides a comprehensive systems-engineering-based framework and guidance for building secure, resilient, and trustworthy systems throughout their life cycle.

• A. “seL4: Formal Verification of an OS Kernel”
  “seL4: Formal Verification of an OS Kernel” is a landmark research paper that presents the first formally verified, general-purpose microkernel, demonstrating end-to-end mathematical proofs of its functional correctness and security properties.
• B. The Essence of Security
  "The Essence of Security" is a book by former U.S. Secretary of Defense Robert McNamara that outlines his views on national security, nuclear strategy, and defense policy during the Cold War.
• C. Network Security: Private Communication in a Public World
  "Network Security: Private Communication in a Public World" is a widely used technical book that explains the principles, protocols, and practical mechanisms for securing digital communications over insecure networks.
• D. Butler Lampson security model
  The Butler Lampson security model is a foundational computer security framework that formalizes access control using capabilities and protection domains to manage and restrict how programs and users interact with system resources.
• E. USENIX Security
  USENIX Security is a leading annual academic conference focused on cutting-edge research in computer security and privacy.
• F. None of above. chosen