| EPSRC Reference: |
GR/L76709/01 |
| Title: |
SOUND LANGUAGES UNDERPIN RELIABLE PROGRAMMING |
| Principal Investigator: |
Drossopoulou, Professor S |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computing |
| Organisation: |
Imperial College London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 October 1997 |
Ends: |
31 March 2001 |
Value (£): |
224,888
|
| 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 |
|
Java, a web-based language, offers a new, revolutionary paradigm for distribution, maintenance and execution of programs. With the advent of the internet, Java has moved into a position no other programming language has ever been in before. Millions of people around the world - primarily nave computer users - download applets and execute them. As a result, to some people, PC viruses seem innocuous when compared with the new possibilities of abuse opened up through Java. It has been demonstrated that many breaches of the Java security originate with the possibility of breaking the type system through a combination of fooling the byte-code verifier and the linker/loader. The work we propose builds on our previous work, in which we have produced a concise specification of a substantial portion of the Java programming language and shown that the type system works properly. We would like the opportunity to extend our current work to take in environmental issues such as the effects of dynamic linking, the byte-code verifier and finally, to be able to characterise a large portion of the language and the environment for which it is demonstrably safe to run externally produced Java code.
|
|
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.imperial.ac.uk |