Mobile Code Project

[Main]      [Overview]      [What's New]      [Members]       [Resources]


Related Links

Mobile Code Bibliography #1
Mobile Code Bibliography #2
 
Mobile Code Bibliography #3
 
Necula's Papers
 

Reading List

Trust Management and Proof Carrying Code in Secure Mobile Applications
 
Tutorial on Code Signing
 
Research on Proof Carrying Code for Untrusted Code Security
 
Behavior Blocking Stops Unknown Malicious Code
 
The Security of Static Typing with Dynamic Linking
 
Behavior Blocking: The Next Step in Anti-Virus Protection
 
A Language-Based Approach to Security
 
How to Own the Internet in your Spare Time
 
Efficient and Language-Independent Mobile Programs
 
Cyberparasites: Sucking The Processing Power From Your PC
Efficient Software-Based Fault Isolation
 
Understanding Java Stack Inspection
 
Java Security: Present and Near Future
 
IRM Enforcement of Java Stack Inspection
 
Extensible Security Architectures for Java
 
Java Security: From HotJava to Netscape and Beyond  
The Role of Trust Management in Distributed Systems Security
 
Proof Linking: An Architecture for Modular Verificationof Dynamically-Linked Mobile Code
 
History-Based Access Control for Mobile Code
 
Flexible Policy-Directed Code Safety
 

                                 [Main]      [Overview]      [What's New]      [Members]       [Resources]

                                                Distributed Systems Lab., University of California, Riverside.     Last Updated 02/01/2003