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] Semantics-based access control - Ontologies and feasibility study of policy enforcement function
    Naumenko, Anton
    WEBIST 2007: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS AND TECHNOLOGIES, VOL IT: INTERNET TECHNOLOGY, 2007, : 150 - 155
  • [42] Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics
    Alves, Sandra
    Degtyarev, Anatoli
    Fernandez, Maribel
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), 2015, 8981 : 148 - 163
  • [43] Layered and Object-Based Game Semantics
    Vale, Arthur Oliveira
    Mellies, Paul-Andre
    Shao, Zhong
    Koenig, Jeremie
    Stefanesco, Leo
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (POPL):
  • [44] CLASSICAL LOGIC AND SCHIZOPHRENIA: FOR A NEUTRAL GAME SEMANTICS
    Redmond, Juan
    Lopez-Orellana, Rodrigo
    REVISTA DE FILOSOFIA, 2018, 74 : 215 - 241
  • [45] GAME SEMANTICS FOR FIRST-ORDER LOGIC
    Laurent, Olivier
    LOGICAL METHODS IN COMPUTER SCIENCE, 2010, 6 (04) : 1 - 50
  • [46] Game Semantics for Interface Middleweight Java']Java
    Murawski, Andrzej S.
    Tzevelekos, Nikos
    JOURNAL OF THE ACM, 2021, 68 (01)
  • [47] STRONG FUNCTORS AND INTERLEAVING FIXPOINTS IN GAME SEMANTICS
    Clairambault, Pierre
    RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2013, 47 (01): : 25 - 68
  • [48] Imperative programs as proofs via game semantics
    Churchill, Martin
    Laird, Jim
    McCusker, Guy
    ANNALS OF PURE AND APPLIED LOGIC, 2013, 164 (11) : 1038 - 1078
  • [49] A constructive game semantics for the language of linear logic
    Japaridze, G
    ANNALS OF PURE AND APPLIED LOGIC, 1997, 85 (02) : 87 - 156
  • [50] Categorical Combinatorics of Scheduling and Synchronization in Game Semantics
    Mellies, Paul-Andre
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (POPL):
12345