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 条
12345