See this document in CiteSeerX!

Games for Controls (2006)  (Make Corrections)  
Krishnendu Chatterjee, Radha Jagadeesan, Corin Pitcher



  Home/Search   Context   Related

 
View or download:
depaul.edu/rjagadeesan/ftp/06csfw.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  depaul.edu/rjagadeesan/pubs (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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