The Security of Static Typing with Dynamic Linking


Published: Apr 12, 2000 Updated: Apr 12, 2000 Section: Network Security Library :: Software Engineering Author: Printable Version Adjust font size: 1 2 3 4 5

Dynamic linking is a requirement for portable executable content. Executable content cannot know, ahead of time, where it is going to be executed, nor know the proper operating system interface. This imposes a requirement for dynamic linking. At the same time, we would like languages supporting executable content to be statically typable, for increased efficiency and security. Static typing and dynamic linking interact in a security-relevant way. This interaction is the subject of this paper. One solution is modeled in PVS, and formally proven to be safe.

Click Here to download this article