Fenix Secure Operating System: Principles, Models, and Architecture
The paper introduces design principles of Secure Operating System Fenix developed in Information Security Centre of Saint-Petersburg Technical University. Fenix is a special purpose secure operating system supposed to be a basis for secure information processing. Fenix is fully compliant with Russian national information security requirements and standards. Security was the main goal of this project, other aspects of operating system were subject to it. Security functions enforcement was the main factor in the operating system design. Microkernel architecture, client-server technology and object-oriented approach form a core of the Fenix operating system design.
KeywordsAccess Control Security Policy Security Service Address Space Security Mechanism
Unable to display preview. Download preview PDF.
- 1.Trusted Information Systems, Inc. Trusted Mach System Architecture (October 1995)Google Scholar
- 2.Open Software Foundation, Inc. MK++ Kernel Executive Summary (November 1995)Google Scholar
- 3.Secure Computing Corporation. DTOS General System Security and Assurability Assessment Report. (June 1997)Google Scholar
- 4.Secure Computing Corporation. DTOS Lessons Learned Report. (June 1997)Google Scholar