Krishnendu Chatterjee, Radha Jagadeesan, Corin Pitcher  Home/Search
Context
Related
| depaul.edu/rjagadeesan/ftp/06csfw.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: depaul.edu/rjagadeesan/pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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... (Update)
Active bibliography (related documents): More All
2.1: Timed Constraint Programming: A Declarative.. - Jagadeesan.. (Correct)
0.6: On Nash Equilibria in Stochastic Games - Chatterjee, Jurdzinski, Majumdar (2003) (Correct)
0.6: Two-player Nonzero-sum ω-regular Games - Chatterjee (2004) (Correct)
Similar documents based on text:
6.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ chatterjee-games,
author = "Krishnendu Chatterjee and Radha Jagadeesan and Corin Pitcher",
title = "Games for Controls",
url = "citeseer.ist.psu.edu/chatterjee06games.html" }
Citations (may not include all citations):182 Theory of Games and Economic Behavior (context) - von Neumann, Morgenstern - 1944
175 Games and full completeness for multiplicative linear logic - Abramsky, Jagadeesan - 1994
144 Full abstraction for PCF - Abramsky, Jagadeesan et al. - 2000
129 Model checking of probabilistic and nondeterministic systems - Bianco, de Alfaro - 1995
119 Alternating-time temporal logic - Alur, Henzinger et al. - 2002
118 Extensible security architectures for Java - Wallach, Balfanz et al. - 1997
114 A probabilistic poly-time framework for protocol analysis - Lincoln, Mitchell et al. - 1998
69 Competitive Markov Decision Processes (context) - Filar, Vrieze - 1997
68 On full abstraction for PCF (context) - Hyland, Ong - 2000
66 Enforceable security policies - Schneider - 2000
50 Bisimulation for labelled Markov processes - Desharnais, Edalat et al. - 2002
24 Game analysis of abuse-free contract signing - Kremer, Raskin - 2002
23 Why information security is hard - an economic perspective - Anderson - 2001
21 TRBAC: A temporal role-based access control model (context) - Bertino, Bonatti et al. - 2001
21 A New Approach to Mobile Code Security - Wallach - 1999
20 and complete axiomatizations for probabilistic processes (context) - Jou, Smolka et al. - 1990
19 Alternating refinement relations - Alur, Henzinger et al. - 1998
18 A game semantics for linear logic (context) - Blass - 1992
17 A cost-based framework for analysis of denial of service net.. - Meadows - 2001
15 Access control based on execution history - Abadi, Fournet - 2003
14 An algebra for composing access control policies - Bonatti, di Vimercati et al. - 2002
14 The logic of games and its applications (context) - Parikh - 1985
8 Policy algebras for access control --- the predicate case (context) - Wijesekera, Jajodia - 2002
8 Probabilistic game semantics - Danos, Harmer - 2002
7 Bankable postage for network services (context) - Abadi, Birrell et al. - 2003
6 Optimistic security: a new access control paradigm - Povey - 1999
6 The emperor's old armor (context) - Blakley - 1996
6 Computer security in the real world - Lampson - 2005
5 Stochastic games with perfect information and time average p.. (context) - Liggett, Lippman - 1969
5 Using first-order logic to reason about policies - Halpern, Weissman - 2003
4 Propositional game logic (context) - Parikh - 1993
3 Optimality and Equilibria in Stochastic Games (context) - Thuijsman - 1992
3 Flexible access control policy specification with constraint.. (context) - Barker, Stuckey - 2003
3 Quantitative verification and control via the mu-calculus (context) - de Alfaro - 2003
3 ZOR --- Methods and Models of Operations Research (context) - Raghavan, Filar et al. - 1991
3 Perfect information stochastic games and related classes - Thuijsman, Raghavan - 1997
3 The UCON ABC usage control model (context) - Park, Sandhu - 2004
2 Usage control: a unified framework for next generation acces.. (context) - Park - 2003
2 A logical specification for usage control (context) - Zhang, Park et al. - 2004
1 Approximate reasoning for real-time probabilistic processes - Gupta, Jagadeesan et al. - 2006
1 A framework for concrete reputation-systems with application.. - Krukow, Nielsen et al. - 2005
1 Access control in a world of software diversity (context) - Abadi, Birrell et al. - 2005
1 Universiteit van Amsterdam (context) - Pauly, Social et al. - 2001
1 Game-based analysis of denial-of-service prevention protocol.. (context) - Mahimkar, Shmatikov - 2005
1 An audit logic for accountability (context) - Cederquist, Corin et al. - 2005
1 Metrics for labelled Markov processes - Desharnais, Gupta et al. - 2004
http://dvlab.cse.ucsc.edu/dvlab/Ticc
http://embedded.eecs.berkeley.edu/research/
www.stanford.edu/~pianoman/GameLogic/
Documents on the same site (http://fpl.cs.depaul.edu/rjagadeesan/pubs.html): More
On The Expressiveness of 3-Valued Models - Godefroid, Jagadeesan (2003) (Correct)
Metrics for Labeled Markov Systems - Desharnais, Jagadeesan, Gupta, al. (1999) (Correct)
Probabilistic Concurrent Constraint Programming - Gupta, Jagadeesan, Saraswat (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC