A Logical Account of NGSCB
- Martin Abadi ,
- Ted Wobber
Proceedings of Formal Techniques for Networked and Distributed Systems (Forte '04) |
Published by Springer-Verlag
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.