Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
A Logical Account of NGSCB

Martín Abadi and Ted Wobber

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.

Details

Publication typeInproceedings
Published inProceedings of Formal Techniques for Networked and Distributed Systems (Forte '04)
URLhttp://www.springer-ny.com/
AddressMadrid, Spain
PublisherSpringer-Verlag
> Publications > A Logical Account of NGSCB