Embedding security enforcement code into applications is an alternative to traditional
security mechanisms. This dissertation supports the thesis that such Inlined Reference …

Extensible typesafe systems, such as Java, rely critically on a large and complex software
base for their overall protection and integrity, and are therefore difficult to test and verify …

This paper presents and evaluates a set of analyses designed to reduce synchronization
overhead in Java programs. Monitor-based synchronization in Java often causes significant …

Language run-time systems are increasingly being embedded in systems to support run-
time extensibility via mobile code. Such systems raise a number of concerns when the code …

In some examples, one or more computing devices on a network may receive, from a client
computing device, one or more inputs for configuring a simulation, the simulation including …

The present invention is an applet server which accepts requests for applets from client
computers. A request specifies the format in which an applet is to be delivered to the …

This dissertation presents a novel security architecture called security-passing style and
motivates its application to security issues that arise in mobile code systems such as Java …

The majority of work on protection in single-language mobile code environments focuses on
information security issues and depends on the language environment for solutions to the …

The present invention is an applet Server which accepts requests for applets from client
computers. A request Speci fies the format in which an applet is to be delivered to the …

Abstract The Java Virtual Machine (JVM) has emerged as a ubiquitous platform for network
computing. JVMs have been incorporated into browsers, web servers, database engines …