Game Semantics for Access Control

被引：7
|
作者：
Abramsky, Samson [1 ]
Jagadeesan, Radha [2 ]
机构：
[1] Univ Oxford, Comp Lab, Wolfson Bldg,Parks Rd, Oxford OX1 3QD, England
[2] DePaul Univ, Sch CTI, Chicago, IL 60642 USA
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2009年 / 249卷
基金：
英国工程与自然科学研究理事会;
关键词：
Access Control; Authorization Logic; Dependency Analysis; Game Semantics;
D O I：
10.1016/j.entcs.2009.07.088
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We introduce a semantic approach to the study of logics for access control and dependency analysis, based on Game Semantics. We use a variant of AJM games with explicit justification (but without pointers). Based on this, we give a simple and intuitive model of the information flow constraints underlying access control. This is used to give strikingly simple proofs of non-interference theorems in robust, semantic versions.
引用
收藏
页码：135 / 156
页数：22
相关论文
共 50 条
  • [31] A game semantics of the asynchronous π-calculus
    Laird, J
    CONCUR 2005 - CONCURRENCY THEORY, PROCEEDINGS, 2005, 3653 : 51 - 65
  • [32] Game semantics & abstract machines
    Danos, V
    Herbelin, H
    Regnier, L
    11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, : 394 - 405
  • [33] A game semantics for generic polymorphism
    Abramsky, S
    Jagadeesan, R
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2003, 2620 : 1 - 22
  • [34] GAME-THEORETICAL SEMANTICS
    SAARINEN, E
    MONIST, 1977, 60 (03): : 406 - 418
  • [35] Game Semantics for Quantum Programming
    Clairambault, Pierre
    De Visme, Marc
    Winskel, Glynn
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (POPL):
  • [36] Algorithmic Nominal Game Semantics
    Murawski, Andrzej S.
    Tzevelekos, Nikos
    PROGRAMMING LANGUAGES AND SYSTEMS, 2011, 6602 : 419 - +
  • [37] Algorithmic probabilistic game semantics
    Kiefer, Stefan
    Murawski, Andrzej S.
    Ouaknine, Joel
    Wachter, Bjoern
    Worrell, James
    FORMAL METHODS IN SYSTEM DESIGN, 2013, 43 (02) : 285 - 312
  • [38] Operational Algorithmic Game Semantics
    Bunting, Benedict
    Murawski, Andrzej S.
    2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS, 2023,
  • [39] Game Semantics for Nominal Exceptions
    Murawski, Andrzej S.
    Tzevelekos, Nikos
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 2014, 8412 : 164 - 179
  • [40] A game semantics of names and pointers
    Laird, J.
    ANNALS OF PURE AND APPLIED LOGIC, 2008, 151 (2-3) : 151 - 169
12345