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.

PDF file

In: Proceedings of Formal Techniques for Networked and Distributed Systems (Forte '04)

Publisher: Springer-Verlag
All copyrights reserved by Springer 2004.

Details