Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Hardening Javas Access Control by Abolishing Implicit Privilege Elevation

 
: Holzinger, Philipp; Hermann, Ben; Lerch, Johannes; Bodden, Eric; Mezini. Mira

:

Institute of Electrical and Electronics Engineers -IEEE-:
IEEE Symposium on Security and Privacy, SP 2017. Vol.2 : San Jose, California, USA 22-26 May 2017
Piscataway, NJ: IEEE, 2017
ISBN: 978-1-5090-5534-0 (Print on demand)
ISBN: 978-1-5090-5533-3 (online)
S.1027-1040
Symposium on Security and Privacy (SP) <38, 2017, San Jose/Calif.>
Englisch
Konferenzbeitrag
Fraunhofer SIT ()

Abstract
While the Java runtime is installed on billions of devices and servers worldwide, it remains a primary attack vector for online criminals. As recent studies show, the majority of all exploited Java vulnerabilities comprise incorrect or insufficient implementations of access-control checks. This paper for the first time studies the problem in depth. As we find, attacks are enabled by shortcuts that short-circuit Java's general principle of stack-based access control. These shortcuts, originally introduced for ease of use and to improve performance, cause Java to elevate the privileges of code implicitly. As we show, this creates many pitfalls for software maintenance, making it all too easy for maintainers of the runtime to introduce blatant confused-deputy vulnerabilities even by just appl ying normally semantics-preserving refactorings. How can this problem be solved? Can one implement Java's access control without shortcuts, and if so, does this implementation remain usable and efficient? To answer those questions, we conducted a tool-assisted adaptation of the Java Class Library (JCL), avoiding (most) shortcuts and therefore moving to a fully explicit model of privilege elevation. As we show, the proposed changes significantly harden the JCL against attacks: they effectively hinder the introduction of new confused-deputy vulnerabilities in future library versions, and successfully restrict the capabilities of attackers when exploiting certain existing vulnerabilities. We discuss usability considerations, and through a set of large-scale experiments show that with current JVM technology such a faithful implementation of stack-based access control induces no observable performance loss.

: http://publica.fraunhofer.de/dokumente/N-464743.html