IBM Systems Journal · 1976 · 79 citations · 5 references
ComputingComputer ScienceComputer SystemsComputer ArchitectureComputer SecurityOperating SystemsOperating System InterfacesOperating System SecurityOperating System VirtualizationOperating System VulnerabilitiesSystem SecurityVirtual Machine MonitorsOperating System ArchitectureOperating System SimulationSecure Virtual MachinesSystem Call VulnerabilitiesVirtual Machine Integrity VerificationVirtual Machine SecurityVirtual Machine Tamper Detection
The virtual machine architecture embodied in wm/370 greatly simplifies an operating system in most areas and hence increases the probability of correct implementation and resistance to penetration. The control program is not concerned with user files or multiple access methods. It simulates a machine with a fixed number of buttons and instructions that require interpretation. The choice of System/370 Principles of Operation as a user interface provides a well understood and well documented interface. The result is a system that is smaller and simpler, with fewer opportunities for error. The simplicity enhances the probability of obtaining security. The exception area is the support of input/output.
5
Virtual storage and virtual machine concepts
R. P. Parmelee, Theodore I. Peterson, C. C. Tillman et al. · IBM Systems Journal · 1972 · 85 citations
Protection in programmed systems.
Anita K. Jones · 1973 · 65 citations
Operating system integrity in OS/VS2
W. S. McPhee · IBM Systems Journal · 1974 · 64 citations
Verifiable secure operating system software
Gerald J. Popek, Charles S. Kline · 1974 · 49 citations · Full text
Richard L. Bisbey, Gerald J. Popek · 1974 · 14 citations