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 条
  • [41] Game semantics & abstract machines
    Danos, V.
    Herbelin, H.
    Regnier, L.
    Proceedings - Symposium on Logic in Computer Science, 1996, : 394 - 405
  • [42] Game semantics for untyped λβη-calculus
    Di Gianantonio, P
    Franco, G
    Honsell, F
    TYPED LAMBDA CALCULI AND APPLICATIONS, 1999, 1581 : 114 - 128
  • [43] Game Semantics for Vague Quantification
    Fermueller, Christian G.
    LOGICA YEARBOOK 2015, 2016, : 71 - 86
  • [44] Combining control effects and their models: Game semantics for a hierarchy of static, dynamic and delimited control effects
    Laird, J.
    ANNALS OF PURE AND APPLIED LOGIC, 2017, 168 (02) : 470 - 500
  • [45] An argument game for stable semantics
    Caminada, Martin
    Wu, Yining
    LOGIC JOURNAL OF THE IGPL, 2009, 17 (01) : 77 - 90
  • [46] From CSP to Game Semantics
    Abramsky, Samson
    REFLECTIONS ON THE WORK OF C A R HOARE, 2010, : 33 - 45
  • [47] Game Semantics for Quantum Data
    Delbecquea, Yannick
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2011, 270 (01) : 41 - 57
  • [48] Concurrent structures in game semantics
    Castellan, Simon (s.castellan@imperial.ac.uk), 1600, European Association for Theoretical Computer Science (2017):
  • [49] A game semantics for generic polymorphism
    Abramsky, S
    Jagadeesan, R
    ANNALS OF PURE AND APPLIED LOGIC, 2005, 133 (1-3) : 3 - 37
  • [50] Game semantics for dependent types
    Vakar, Matthijs
    Jagadeesan, Radha
    Abramsky, Samson
    INFORMATION AND COMPUTATION, 2018, 261 : 401 - 431
12345