Martín Abadi and Ted Wobber
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.
|Published in||Proceedings of Formal Techniques for Networked and Distributed Systems (Forte '04)|
All copyrights reserved by Springer 2004.