A Logical Account of NGSCB

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.

ngscb-logic-springer.pdf
PDF file

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

Publisher  Springer-Verlag
All copyrights reserved by Springer 2004.

Details

TypeInproceedings
URLhttp://www.springer-ny.com/
AddressMadrid, Spain
> Publications > A Logical Account of NGSCB