EPSRC logo

Details of Grant 

EPSRC Reference: GR/R31485/01
Title: Language Techniques for Implementing Policies in Programmable Networks
Principal Investigator: Wakeman, Professor I
Other Investigators:
Watson, Dr DJ Rathke, Dr J
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:
Communications
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