Type safety is a promising approach to enhancing software security. Programs written in
type-safe programming languages such as Java are type-safe by construction. However, in …

Primary Examiner—Emauel Todd VoeltZ Assistant Examiner—Tuan Q. Dam consist of
classes of native methods, as Well as classes for complex data types, Which are called from …

US PATENT DOCUMENTS acroSS the JNI boundary. Legacy proxy objects proxy the Java
objects and enable legacy GUIs to issue method requests as if the legacy proxy objects …

Java is a programming language developed by Sun Micro systems that is translated into so-
called byte code programs. Although originally developed for Java, byte code is suited as a …

Java is a safe language. Its runtime environment provides strong safety guarantees that any
Java application can rely on. Or so we think. We show that the runtime actually does not …

Making software reliable is one of the most important technological challenges facing our
society today. This thesis presents a new type system that addresses this problem by …

707/102; 707/103; 707/104; 717/166 An architecture for extending the Java Security model
to allow a user or administrator to explicitly deny permissions. By itself, the Java 2 security …

The Java Security Architecture includes a dynamic mechanism for enforcing access control
checks, the so-called stack inspection process. While the architecture has several appealing …

The present invention relates generally to Java API implementation, and more specifically, to
methods and appa ratuses for customizing Java API implementations tailored for the specific …

Java applications often need to incorporate native-code components for efficiency and for
reusing legacy code. However, it is well known that the use of native code defeats Java's …