A logical account of NGSCB

被引：0
|
作者：
Abadi, M [1 ]
Wobber, T [1 ]
机构：
[1] Univ Calif Santa Cruz, Santa Cruz, CA 95064 USA
来源：
FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2004, PROCEEDINGS | 2004年 / 3235卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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.
引用
收藏
页码：1 / 12
页数：12
相关论文
共 50 条
12345