Add to ORKGThis paper illustrates how to check access to protected members in the JVM, which is not explained in [7] and, to the author's knowledge, has been completely neglected in the research literature. This aspect of enforcing type safety in the JVM is rather subtle and its correct implementation is not straightforward, as also evidenced by a bug in Sun's Java 2 SDK version 1.4 that causes some illegal programs to be accepted and some legal programs to be rejected (see [3] for concrete examples with source code
International audienceSun and the CERT recommend for secure Java development to not allow partially ...
AbstractThe current definition of the Java bytecode verifier, as well as the proposals to formalize ...
The Java Virtual Machine (JVM) is evolving as an infrastructure for the efficient execution of large...
machine level: The Java Virtual Machine (JVM) is a language dependent abstract machine that is close...
This paper presents a static type system for JAVA Virtual Machine (JVM) code that enforces an access...
This paper shows that formal studies can help find and fix bugs in real-world, existing systems. Our...
Computer security has become a crucial issue in recent years. More than ever, computer scientists, d...
In a standard Java implementation, a Java program is compiled into Java bytecode, which is then inte...
Abstract. The Java security architecture in the Java Development Kit 1.2 expands the current Java sa...
Ki-Chang Kim. This is an open access article distributed under the Creative Commons Attribution Lice...
The Java (TM) Virtual Machine is being used more frequently as the basic engine behind dynamic web s...
Abstract Confined types enforce a form of encapsulation stronger than what the standard Java typesys...
. The Java security architecture in the Java Development Kit 1.2 expands the current Java sandbox mo...
The Java Virtual Machine executes bytecode programs that may have been sent from other, possibly unt...
Variant parametric types have been introduced to provide a flexible subtyping mechanism for generic ...
International audienceSun and the CERT recommend for secure Java development to not allow partially ...
AbstractThe current definition of the Java bytecode verifier, as well as the proposals to formalize ...
The Java Virtual Machine (JVM) is evolving as an infrastructure for the efficient execution of large...
machine level: The Java Virtual Machine (JVM) is a language dependent abstract machine that is close...
This paper presents a static type system for JAVA Virtual Machine (JVM) code that enforces an access...
This paper shows that formal studies can help find and fix bugs in real-world, existing systems. Our...
Computer security has become a crucial issue in recent years. More than ever, computer scientists, d...
In a standard Java implementation, a Java program is compiled into Java bytecode, which is then inte...
Abstract. The Java security architecture in the Java Development Kit 1.2 expands the current Java sa...
Ki-Chang Kim. This is an open access article distributed under the Creative Commons Attribution Lice...
The Java (TM) Virtual Machine is being used more frequently as the basic engine behind dynamic web s...
Abstract Confined types enforce a form of encapsulation stronger than what the standard Java typesys...
. The Java security architecture in the Java Development Kit 1.2 expands the current Java sandbox mo...
The Java Virtual Machine executes bytecode programs that may have been sent from other, possibly unt...
Variant parametric types have been introduced to provide a flexible subtyping mechanism for generic ...
International audienceSun and the CERT recommend for secure Java development to not allow partially ...
AbstractThe current definition of the Java bytecode verifier, as well as the proposals to formalize ...
The Java Virtual Machine (JVM) is evolving as an infrastructure for the efficient execution of large...