A Logical Account of NGSCB

  • Martin Abadi ,
  • Ted Wobber

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

Published by Springer-Verlag

View Publication

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.