Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Mechanisms for Secure Modular Programming in Java Lujo Bauer Andrew W. Appel Edward W. Felten
 

Summary: Mechanisms for Secure Modular Programming in Java
Lujo Bauer Andrew W. Appel Edward W. Felten
Princeton University
November 12, 1999
Revised Version of Technical Report CS-TR-603-99
Abstract
We present a new module system for Java that improves
upon many of the deficiencies of the Java package system
and gives the programmer more control over dynamic
linking. Our module system provides explicit interfaces,
multiple views of modules based on hierarchical nesting,
and more flexible name-space management than the Java
package system. Relationships between modules are ex-
plicitly specified in module description files. We provide
more control over dynamic linking by allowing import
statements in module description files to require that
imported modules be annotated with certain properties,
which we implement by digital signatures. Our module
system is compatible enough with standard Java that we
have implemented it as a source-to-source and bytecode-

  

Source: Appel, Andrew W. - Department of Computer Science, Princeton University
Bauer, Lujo - Department of Electrical and Computer Engineering, Carnegie Mellon University

 

Collections: Computer Technologies and Information Sciences