Advertisement

Fenix Secure Operating System: Principles, Models, and Architecture

  • Dmitry P. Zegzhda
  • Pavel G. Stepanov
  • Alexey D. Otavin
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2052)

Abstract

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.

Keywords

Access Control Security Policy Security Service Address Space Security Mechanism 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Trusted Information Systems, Inc. Trusted Mach System Architecture (October 1995)Google Scholar
  2. 2.
    Open Software Foundation, Inc. MK++ Kernel Executive Summary (November 1995)Google Scholar
  3. 3.
    Secure Computing Corporation. DTOS General System Security and Assurability Assessment Report. (June 1997)Google Scholar
  4. 4.
    Secure Computing Corporation. DTOS Lessons Learned Report. (June 1997)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Dmitry P. Zegzhda
    • 1
  • Pavel G. Stepanov
    • 1
  • Alexey D. Otavin
    • 1
  1. 1.Information Security Centre of Saint-Petersburg Technical UniversitySaint-PetersburgUSA

Personalised recommendations