A Type System for Java Bytecode Subroutines.
d7b4dd598baade80687150c62eaf2e4dThe Java Security Reference Model for 1.0.2.
1b599c56e8a5bf5980f7b68c223abfb8Trust Management on the World Wide Web.
a591a127611068ec112b9b81eb63e3e4Low Level Security in Java. The Java(tm) language allows Java-compatible Web browsers to download code fragments dynamically and then to execute those code fragments locally. However, users must be wary of executing any code that comes from untrusted sources or that passes through an insecure network. This paper presents the details of the lowest-levels of the Java security mechanism. Before any downloaded code is executed, it is scanned and verified to ensure that it conforms to the specifications of the virtual machine.
a6a4ecce6960a1070034918ead73d551Software Assurance for Security.
77a414eb400738e0c826e118a3c60cdb