Research Grant
[Cite as http://purl.org/au-research/grants/arc/LP140100700]Researchers: Dr Larissa Meinicke (Chief Investigator) , Emeritus Professor Ian Hayes (Chief Investigator) , Dr Cristina Cifuentes (Partner Investigator) , Dr Yi Lu (Partner Investigator)
Brief description 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.
Funding Amount $380,000
Funding Scheme Linkage Projects
- ARC : LP140100700
- PURL : http://purl.org/au-research/grants/arc/LP140100700
