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 条
  • [1] Learn Access Control Concepts in a Game
    Weanquoi, Patrickson
    Zhang, Jinghua
    Yuan, Xiaohong
    Xu, Jinsheng
    Jones, Elva J.
    2021 IEEE FRONTIERS IN EDUCATION CONFERENCE (FIE 2021), 2021,
  • [2] Metamodelling with Formal Semantics with Application to Access Control Specification
    Abd-Ali, Jamal
    El Guemhioui, Karim
    Logrippo, Luigi
    MODELSWARD 2015 PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2015, : 354 - 362
  • [3] Dynamic game semantics
    Yamada, Norihiro
    Abramsky, Samson
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2020, 30 (08) : 892 - 951
  • [4] A game semantics for Grz
    Mezhirov, Ilya
    JOURNAL OF LOGIC AND COMPUTATION, 2006, 16 (05) : 663 - 669
  • [5] Dynamic Game Access Control based on Trust
    Ma, Shunan
    2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 1, 2015, : 1369 - 1373
  • [6] A Model for Dynamic Access Control of XML Documents Using Semantics
    Tao Peng
    Jiang Minghua
    Hu Ming
    ICCSE 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION: ADVANCED COMPUTER TECHNOLOGY, NEW EDUCATION, 2008, : 734 - 737
  • [7] Semantics-based Access Control Approach for Web Service
    He, Zhengqiu
    Wu, Lifa
    Li, Huabo
    Lai, Haiguang
    Hong, Zheng
    JOURNAL OF COMPUTERS, 2011, 6 (06) : 1152 - 1161
  • [8] A Game Theoretic Approach Based Access Control Mechanism
    Zhao, Ming
    Ren, Jinqiang
    Sun, Huiping
    Li, Suming
    Chen, Zhong
    PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5, 2008, : 1464 - +
  • [9] 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
  • [10] A Game Semantics for System P
    Marti, J.
    Pinosio, R.
    STUDIA LOGICA, 2016, 104 (06) : 1119 - 1144
12345