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 条
  • [21] A game-theoretic framework for medium access control
    Cui, Tao
    Chen, Lijun
    Low, Steven H.
    IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, 2008, 26 (07) : 1116 - 1127
  • [22] A Proactive Access Control Model Based on Stochastic Game
    Zhang, Yixuan
    He, Jingsha
    PROCEEDINGS OF 2015 4TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND NETWORK TECHNOLOGY (ICCSNT 2015), 2015, : 1008 - 1011
  • [23] Developing and Assessing an Educational Game for Teaching Access Control
    Weanquoi, Patrickson Boan
    Zhang, Jinghua
    Xu, Jinsheng
    Yuan, Xiaohong
    Jones, Elva J.
    PROCEEDINGS OF THE 2020 ACM CONFERENCE ON INTERNATIONAL COMPUTING EDUCATION RESEARCH, ICER 2020, 2020, : 312 - 312
  • [24] A Game Semantics for System P
    J. Marti
    R. Pinosio
    Studia Logica, 2016, 104 : 1119 - 1144
  • [25] Game Semantics in the Nominal Model
    Gabbay, Murdoch
    Ghica, Dan
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2012, 286 : 173 - 189
  • [26] Game semantics: Achievements and prospects
    Abramsky, S
    AUTOMATA LANGUAGES AND PROGRAMMING, 2000, 1853 : 1 - 1
  • [27] Game Semantics in String Diagrams
    Mellies, Paul-Andre
    2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 481 - 490
  • [28] A Game Semantics for System P
    Marti, J.
    Pinosio, R.
    STUDIA LOGICA, 2016, 104 (06) : 1119 - 1144
  • [29] Game Semantics for Bounded Polymorphism
    Laird, James
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2016), 2016, 9634 : 55 - 70
  • [30] Game Semantics for Quantum Stores
    Delbecque, Yannick
    Panagaden, Prakash
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 218 (153-170) : 153 - 170
12345