Removing the Dynamic Linker from the Security Kernel of a Computing Utility

Abstract

In order to enforce the security of the information stored in a computing utility, it is necessary to certify that the protection mechanism is correctly implemented so that there exist no uncontrolled access path to the stored information.