Formal Aspects of Mobile Code Security

Published: Apr 04, 2000
Updated: Apr 04, 2000
Section: Network Security Library :: Mobile Code
Author:
Printable Version
Adjust font size:
Rating: 3.6/5 - 13 Votes

We believe that formal methods of all kinds are critical to mobile code security, as one route to gaining the assurance level necessary for running potentially hostile code on a routine basis. We begin by examining Java, and understanding the weaknesses in its architecture, on both design and implementation levels. Identifying dynamic linking as a key problem, we produce a formal model of linking, and prove desirable properties about our model.

Click Here to download this article