Journal ArticleOPEN ACCESS

A logical account of NGSCB

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2004) 3235 1-12
DOI: 10.1007/978-3-540-30232-2_1
24Citations
Citations of this article
13Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

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. © IFIP International Federation for Information Processing 2004.

Cite

CITATION STYLE

APA

Abadi, M., & Wobber, T. (2004). A logical account of NGSCB. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3235, 1–12. https://doi.org/10.1007/978-3-540-30232-2_1

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free