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] Random Access Game and Medium Access Control Design
    Chen, Lijun
    Low, Steven H.
    Doyle, John C.
    IEEE-ACM TRANSACTIONS ON NETWORKING, 2010, 18 (04) : 1303 - 1316
  • [2] 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,
  • [3] 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
  • [4] A Semantics Based Approach for Cross Domain Access Control
    Hu Luokai
    Ying Shi
    Jia Xiangyang
    Zhao Kai
    JOURNAL OF INTERNET TECHNOLOGY, 2010, 11 (02): : 279 - 288
  • [5] An operational semantics of Java']Java 2 access control
    Karjoth, G
    13TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2000, : 224 - 232
  • [6] Game semantics and subtyping
    Chroboczek, J
    15TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2000, : 192 - 203
  • [7] Probabilistic game semantics
    Danos, V
    Harmer, R
    15TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2000, : 204 - 213
  • [8] Dynamic game semantics
    Janasik, T
    Sandu, G
    MEANING: THE DYNAMIC TURN, 2003, 12 : 215 - 240
  • [9] A game semantics for Grz
    Mezhirov, Ilya
    JOURNAL OF LOGIC AND COMPUTATION, 2006, 16 (05) : 663 - 669
  • [10] THE GAME OF GENERAL SEMANTICS
    PETERSON, H
    ETC-REVIEW OF GENERAL SEMANTICS, 1963, 20 (04): : 440 - 444
12345