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 条
  • [1] A Logical Account of PSPACE
    Gaboardi, Marco
    Della Rocca, Simona Ronchi
    Marion, Jean-Yves
    [J]. POPL'08: PROCEEDINGS OF THE 35TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2008, : 121 - 131
  • [2] A logical account of PSPACE
    Gaboardi, Marco
    Della Rocca, Simona Ronchi
    Marion, Jean-Yves
    [J]. ACM SIGPLAN NOTICES, 2008, 43 (01) : 121 - 131
  • [3] A Logical Account of Lying
    Sakama, Chiaki
    Caminada, Martin
    Herzig, Andreas
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, 2010, 6341 : 286 - 299
  • [4] Towards a Logical Account of Declassification
    Banerjee, Anindya
    Naumann, David A.
    Rosenberg, Stan
    [J]. PLAS'07: PROCEEDINGS OF THE 2007 ACM SIGPLAN WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY, 2007, : 61 - 65
  • [5] A logical account of formal argumentation
    Caminada M.W.A.
    Gabbay D.M.
    [J]. Studia Logica, 2009, 93 (2-3) : 109 - 145
  • [6] A probabilistic account of logical metonymy
    Lapata, M
    Lascarides, A
    [J]. COMPUTATIONAL LINGUISTICS, 2003, 29 (02) : 261 - 315
  • [7] A Logical Account of Subtyping for Session Types
    Horne, Ross
    Padovani, Luca
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, (378): : 26 - 37
  • [8] Memory: A logical learning theory account
    Rychlak, JF
    [J]. JOURNAL OF MIND AND BEHAVIOR, 1996, 17 (03): : 229 - 250
  • [9] An Interpretive Account of Logical Aggregation Theory
    Mongin, Philippe
    Dietrich, Franz
    [J]. REVUE D ECONOMIE POLITIQUE, 2010, 120 (06): : 929 - 972
  • [10] Towards A Logical Account of Epistemic Causality
    Khan, Shakil M.
    Soutchanski, Mikhail
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (308): : 1 - 16
12345