OR

Browse By

An extensible framework for analysis of Java language-based security conformance (2015–2019)

Abstract:
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 analyses to identify faulty or insufficient security checks in the Java Class Library that may lead to the sandbox being bypassed.
Grant type:
ARC Linkage Projects
Researchers:

  • Emeritus Professor Ian Hayes

    Emeritus Professor
    School of Electrical Engineering and Computer Science
    Faculty of Engineering, Architecture and Information Technology

  • Dr Larissa Meinicke

    Lecturer
    School of Electrical Engineering and Computer Science
    Faculty of Engineering, Architecture and Information Technology
Funded by:
Australian Research Council