Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0668447
Funder
Australian Research Council
Funding Amount
$320,000.00
Summary
Enterprise Grid Laboratory. Parallel and distributed processing can improve company profit, lower costs of design, production and deployment of new technologies, and create better business environments. To achieve this, new inexpensive parallel and distributed systems are needed. Research and initial developments show that such systems can be built based on enterprise grids. The understanding of enterprise grids, and in particular their operating systems, scheduling algorithms, load balancing, h ....Enterprise Grid Laboratory. Parallel and distributed processing can improve company profit, lower costs of design, production and deployment of new technologies, and create better business environments. To achieve this, new inexpensive parallel and distributed systems are needed. Research and initial developments show that such systems can be built based on enterprise grids. The understanding of enterprise grids, and in particular their operating systems, scheduling algorithms, load balancing, heterogeneity, transparency, applications deployment, is of the most critical importance for their development and taking them by industry and business. The new laboratory funded by this grant will place Australia at the forefront of research into the future generation of grids.Read moreRead less
Understanding concurrent programs using rely-guarantee thinking. Multi-core processors are standard in computers and devices (e.g. smart phones) but much of the software available for these machines is either unreliable or does not exploit the available hardware parallelism. This project will devise techniques for designing concurrent software that exploits these platforms while delivering dependable operation.
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