Triple

Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).

Phrase: Systems Security Engineering – Considerations for a Multidisciplinary Approach in the Engineering of Trustworthy Secure Systems | Statement: [NIST SP 800-160 Volume 1, subtitle, 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