Paper Info
Title
Game Semantics for Access Control
Abstract
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.
Year
DOI
Venue
2014
10.1016/j.entcs.2009.07.088
Electronic Notes in Theoretical Computer Science (ENTCS)
Keywords
Field
DocType
simple proof,dependency analysis,ajm game,access control,semantic approach,authorization logic,semantic version,intuitive model,information flow constraint,explicit justification,game semantics,information flow,dependence analysis
Pointer (computer programming),Information flow (information theory),Computer science,Theoretical computer science,Mathematical proof,Access control,Authorization logic,Game semantics
Journal
Volume
ISSN
Citations 
abs/1401.5325
Electronic Notes in Theoretical Computer Science
7
PageRank 
References 
Authors
0.50
31
2
Name
Order
Citations
PageRank
Samson Abramsky13169348.51
Radha Jagadeesan22117121.75