Exokernel: an operating system architecture for application-level resource management
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Disco: running commodity operating systems on scalable multiprocessors
Proceedings of the sixteenth ACM symposium on Operating systems principles
Fenix Secure Operating System: Principles, Models and Architecture
MMM-ACNS '01 Proceedings of the International Workshop on Information Assurance in Computer Networks: Methods, Models, and Architectures for Network Security
Virtualizing I/O Devices on VMware Workstation's Hosted Virtual Machine Monitor
Proceedings of the General Track: 2002 USENIX Annual Technical Conference
When Virtual Is Better Than Real
HOTOS '01 Proceedings of the Eighth Workshop on Hot Topics in Operating Systems
Terra: a virtual machine-based platform for trusted computing
SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles
Memory resource management in VMware ESX server
OSDI '02 Proceedings of the 5th symposium on Operating systems design and implementationCopyright restrictions prevent ACM from being able to make the PDFs for this conference available for downloading
| Hi-index | 0.00 |
The article discusses an approach to the construction of secure data processing systems based on the hybrid operating system technology, making it possible to use several different operating systems simultaneously on the same computer and arrange for an interaction between those. The Fenix secure operating system developed at the Software Security Laboratory(SSL) of the St. Petersburg State Polytechnical University (SPSPU) is proposed to be used as a host operating system, while the popular Linux OS — as a guest operating system, to ensure compatibility with commonly used applications.