Games for controls Conference Paper


Author(s): Chatterjee, Krishnendu; Jagadeesan, Rhada; Pitcher, Corin
Title: Games for controls
Affiliation
Abstract: We argue that games are expressive enough to encompass (history-based) access control, (resource) usage control (e.g., dynamic adaptive access control of reputation systems), accountability based controls (e.g., insurance), controls derived from rationality assumptions on participants (e.g., network mechanisms), and their composition. Building on the extensive research into games, we demonstrate that this expressive power coexists with a formal analysis framework comparable to that available for access control.
Keywords: accountability; formal analysis frameworks; usage control
Conference Title: CSF: Computer Security Foundations
Conference Dates: July 5-7, 2006
Conference Location: Venice, Italy
ISBN: 1063-6900
Publisher: IEEE  
Date Published: 2006-07-31
Start Page: 70
End Page: 82
DOI: 10.1109/CSFW.2006.14
Open access: no
IST Austria Authors