Chatterjee, KrishnenduIST Austria ; Jagadeesan, Rhada; Pitcher, Corin
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.
70 - 82
CSF: Computer Security Foundations
Chatterjee K, Jagadeesan R, Pitcher C. Games for controls. In: IEEE; 2006:70-82. doi:10.1109/CSFW.2006.14
Chatterjee, K., Jagadeesan, R., & Pitcher, C. (2006). Games for controls (pp. 70–82). Presented at the CSF: Computer Security Foundations, IEEE. https://doi.org/10.1109/CSFW.2006.14
Chatterjee, Krishnendu, Rhada Jagadeesan, and Corin Pitcher. “Games for Controls,” 70–82. IEEE, 2006. https://doi.org/10.1109/CSFW.2006.14.
K. Chatterjee, R. Jagadeesan, and C. Pitcher, “Games for controls,” presented at the CSF: Computer Security Foundations, 2006, pp. 70–82.
Chatterjee K, Jagadeesan R, Pitcher C. 2006. Games for controls. CSF: Computer Security Foundations, 70–82.
Chatterjee, Krishnendu, et al. Games for Controls. IEEE, 2006, pp. 70–82, doi:10.1109/CSFW.2006.14.