EPSRC Reference: |
GR/R87376/01 |
Title: |
Coalgebraic Programming of Games |
Principal Investigator: |
Abramsky, Professor S |
Other Investigators: |
|
Researcher Co-Investigators: |
|
Project Partners: |
|
Department: |
Computer Science |
Organisation: |
University of Oxford |
Scheme: |
Standard Research (Pre-FEC) |
Starts: |
22 April 2002 |
Ends: |
21 June 2002 |
Value (£): |
9,766
|
EPSRC Research Topic Classifications: |
Fundamentals of Computing |
|
|
EPSRC Industrial Sector Classifications: |
|
Related Grants: |
|
Panel History: |
|
Summary on Grant Application Form |
The coalgebraic structure of {hem position gamesN) will be investigated, and a framework for reasoning about security will be developed, where protocols are construed as dynamic games of imperfect information.Position games can be viewed as a common generalization of matrix games from game theory on one hand, and abstract computational processes, extended into game semantics of computation on the other. As a mathematical structure, position games add a dimension of dynamics (statelposition dependency) to the former, and open up the latter to quantitative analyses, e.g. of utility, payoff, and stability of self-regulating systems.The results will be used for developing tools and methods for constructing and analyzing concrete security structures, such as those arising from the IPsec suite, as well as the mechanisms of communication in agent based systems at large.
|
Key Findings |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
Potential use in non-academic contexts |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
Impacts |
Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
Summary |
|
Date Materialised |
|
|
Sectors submitted by the Researcher |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
Project URL: |
|
Further Information: |
|
Organisation Website: |
http://www.ox.ac.uk |