Using registers to optimize cross-domain call performance
ASPLOS III Proceedings of the third international conference on Architectural support for programming languages and operating systems
The security of static typing with dynamic linking
Proceedings of the 4th ACM conference on Computer and communications security
Engineering a security kernel for Multics
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
Dynamic linking and environment initialization in a multi-domain process.
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
| Hi-index | 0.00 |
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. Certification requires that the security kernel be much smaller and simpler than the supervisor of present general purpose operating systems. This thesis explores one aspect of improving the certifiability of a computing utility by designing a dynamic linker that runs outside the security kernel domain. The dynamic linker is designed to run in any user protection domain of a multidomain computing utility. It is shown that the dynamic linker never needs the privileges of the security kernel to properly operate. In particular, the thesis demonstrates the ability of the dynamic linker to link programs together across domain boundaries without violating the protection of either domain involved in the operation.