An extensible framework for analysis of Java language-based security conformance. Java is a programming language and platform running on 3 billion devices. While Java provides a sandbox-based security architecture within the Java Class Library to protect systems from untrusted code downloaded from Internet, it cannot defend against implementation bugs that occur in the Java Class Library. The goal of this project is to provide a formal model of the Java security architecture, which can be used b ....An extensible framework for analysis of Java language-based security conformance. Java is a programming language and platform running on 3 billion devices. While Java provides a sandbox-based security architecture within the Java Class Library to protect systems from untrusted code downloaded from Internet, it cannot defend against implementation bugs that occur in the Java Class Library. The goal of this project is to provide a formal model of the Java security architecture, which can be used by program analysers to identify faulty or insufficient security checks in the Java Class Library that may lead to the sandbox being bypassed.Read moreRead less
Legacy2Service: A Novel, Model-Driven Technique for Re-engineering On-Demand, Software Services out of Legacy Applications. The proliferation of software-as-a-service applications from "dotcom" players is raising expectations that other industries will make their critical desktop and mainframe software available as web-enabled software-as-a-service and mobile "apps". However, manually re-engineering legacy software is notoriously costly and frequently unsuccessful. This project will make it easi ....Legacy2Service: A Novel, Model-Driven Technique for Re-engineering On-Demand, Software Services out of Legacy Applications. The proliferation of software-as-a-service applications from "dotcom" players is raising expectations that other industries will make their critical desktop and mainframe software available as web-enabled software-as-a-service and mobile "apps". However, manually re-engineering legacy software is notoriously costly and frequently unsuccessful. This project will make it easier and quicker to turn stand-alone programs into online services by automating much of the process. Specifically, it will develop tools: for analysing program code to identify points to implement service interfaces; for displaying existing and new code dependencies visually; and, to help design and implement new software layers that link legacy services to the web.Read moreRead less
Towards automated and intelligent processing of web-based information. The successful outcome of this project will enhance Australia's research reputation in an important, practical area of ICT, will contribute to emerging Web standards, will produce frontier technology that will eventually be of benefit to Australian industry, and will train several postgraduate students.
Rule-based reasoning systems for complex and dynamic ontologies. The successful outcome of this project will enhance Australia's research reputation in an important, practical area of ICT, will contribute to emerging Web technologies that will eventually be of benefit to Australian industry, and will train several postgraduate students.