| EPSRC Reference: |
GR/S44884/01 |
| Title: |
COMMA: Control Mechanisms in Mobile Ambients |
| Principal Investigator: |
Sassone, Professor V |
| 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 2003 |
Ends: |
31 August 2004 |
Value (£): |
7,800
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Recent advances in models of mobility trace a path towards increasingly sophisticated control mechanisms. We propose to undertake speculative research at the edge of the current development on ambient-based models and their applications, with the aim of confronting their limitations. Our primary concerns will be the adequacy of models and relative type systems for application to global computing. The workplan unfolds in two intertwined streams: control mechanisms for execution (E) and specification (S). We identify the following main areas of interests.E1: investigate minimal sets of primitive capabilities complete for specific GC applications. E2: study realistic underlying network topologies and the corresponding sets of capabilities. E3:formulate protocols and language mechanisms for ambient exploration by visiting agents.St: devise flexible type systems for access control using dependent types and related theories. S2: design dynamic type checking methods performed on untrusted agents crossing protected boundaries.
|
|
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 |