A Logical Account of NGSCB

Abstract. As its name indicates, NGSCB aims to be the "Next-Generation Secure Computing Base". As envisioned in the context of Trusted Computing initiatives, NGSCB provides protection against software attacks. This paper describes NGSCB using a logic for authentication and access control. Its goal is to document and explain the principals and primary APIs employed in NGSCB.

• Type: Conference
• Year: 2004
• Where: FORTE
• Authors: Martín Abadi, Ted Wobber
• Keywords: FORTE 2004, FORTE 2007, NGSCB Provides Protection, Primary Apis, Trusted Computing