Sciweavers

Share
FORTE
2004

A Logical Account of NGSCB

9 years 2 months ago
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.
Martín Abadi, Ted Wobber
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2004
Where FORTE
Authors Martín Abadi, Ted Wobber
Comments (0)
books