| EPSRC Reference: |
GR/R31485/01 |
| Title: |
Language Techniques for Implementing Policies in Programmable Networks |
| Principal Investigator: |
Wakeman, Professor I |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Sch of Engineering and Informatics |
| Organisation: |
University of Sussex |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 October 2001 |
Ends: |
30 September 2003 |
Value (£): |
188,421
|
| EPSRC Research Topic Classifications: |
| Networks & Distributed Systems |
|
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
W e propose to investigate to what extent we can provide the mechanisms required to implement policies in programmable networks and pervasive computing through static language based techniques. W e believe that any infra-structure which allows third party computation must enable cost recovery mechanisms, and so we therefore believe that economic models should be incorporated in the policies implementable.W e plan to develop a set of economic models and sample policies that we will use to derive requirements against the programming environment. W e will then develop recent advances in semantics in three separate areas: security; bounding computation; and resource accounting. In each of these areas, we will develop the theory to provide usable type systems for real languages. W e will then draw these three strands together in a generalised distributed resource architecture, and show how the architecture can be instantiated, using the existing safetynet language. As well as integrating the type systems, we will develop our simulation environment and provide visualisation tools to aid programmers to understand the potential behaviours of their programs.
|
|
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.sussex.ac.uk |