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] Trusted Data Access Control Based on Logistics Business Collaboration Semantics
    Zhang, Xue
    Jing, Changqiang
    Chen, Yeh-Cheng
    Wang, Li
    Xu, Lianzheng
    Fu, Deqian
    APPLIED SCIENCES-BASEL, 2024, 14 (10):
  • [22] Game Semantics for Quantum Data
    Delbecquea, Yannick
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2011, 270 (01) : 41 - 57
  • [23] Modal Access Control Logic Axiomatization, Semantics and FOL Theorem Proving
    Genovese, Valerio
    Rispoli, Daniele
    Gabbay, Dov M.
    van der Torre, Leendert
    STAIRS 2010: PROCEEDINGS OF THE FIFTH STARTING AI RESEARCHERS' SYMPOSIUM, 2011, 222 : 114 - 126
  • [24] Game Analysis of Access Control Based on User Behavior Trust
    Wang, Yan
    Tian, Liqin
    Chen, Zhenguo
    INFORMATION, 2019, 10 (04)
  • [25] A Dynamic Access Control Model Based on Game Theory for the Cloud
    Shao, Pengfei
    Jin, Shuyuan
    2021 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM), 2021,
  • [26] Using Semantics for Automatic Enforcement of Access Control Policies among Dynamic Coalitions
    Warner, Janice
    Atluri, Vijayalakshmi
    Mukkamala, Ravi
    Vaidya, Jaideep
    SACMAT'07: PROCEEDINGS OF THE 12TH ACM SYMPOSIUM ON ACCESS CONTROL MODELS AND TECHNOLOGIES, 2007, : 235 - 244
  • [27] Using semantics for dynamic access control of XML documents in dynamic coalition environment
    Peng, Tao
    Jiang, Minghua
    Hu, Ming
    2008 FOURTH INTERNATIONAL CONFERENCE ON INTELLIGENT INFORMATION HIDING AND MULTIMEDIA SIGNAL PROCESSING, PROCEEDINGS, 2008, : 366 - 369
  • [28] Game Semantics for a Polymorphic Programming Language
    Laird, J.
    JOURNAL OF THE ACM, 2013, 60 (04)
  • [29] Game Semantics for Modal Logic with Counting
    Fu, Xiaoxuan
    Zhao, Zhiguang
    ARTIFICIAL INTELLIGENCE LOGIC AND APPLICATIONS, AILA 2024, 2025, 2248 : 3 - 16
  • [30] A game semantics for disjunctive logic programming
    Tsouanas, Thanos
    ANNALS OF PURE AND APPLIED LOGIC, 2013, 164 (11) : 1144 - 1175
12345