Fenix Secure Operating System: Principles, Models, and Architecture | SpringerLink
Skip to main content
Springer Nature Link
Log in

Fenix Secure Operating System: Principles, Models, and Architecture

  • Conference paper
  • First Online:
Information Assurance in Computer Networks (MMM-ACNS 2001)

Part of the book series: Lecture Notes in Computer Science ((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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
JPY 3498
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
JPY 8579
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
JPY 10724
Price includes VAT (Japan)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  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 

Download references

Author information

Authors and Affiliations

  1. Information Security Centre of Saint-Petersburg Technical University, 195273, Saint-Petersburg, K-273, P/B 290, USA

    Dmitry P. Zegzhda, Pavel G. Stepanov & Alexey D. Otavin

Authors
  1. Dmitry P. Zegzhda
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Pavel G. Stepanov
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Alexey D. Otavin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. St. Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences (SPIIRAS), SPIIRAS, 39, 14th Liniya, St. Petersburg, Russia, 199178

    Vladimir I. Gorodetski

  2. Watson Schoolof Engineering, Binghamton University, Binghamton, NY, 13902, USA

    Victor A. Skormin

  3. Air Force Research Laboratory, Defensive Information Warfare Branch, 525 Brooks Road, Rome, NY, 13441-4505, Italy

    Leonard J. Popyack

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zegzhda, D.P., Stepanov, P.G., Otavin, A.D. (2001). Fenix Secure Operating System: Principles, Models, and Architecture. In: Gorodetski, V.I., Skormin, V.A., Popyack, L.J. (eds) Information Assurance in Computer Networks. MMM-ACNS 2001. Lecture Notes in Computer Science, vol 2052. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45116-1_21

Download citation

  • DOI: https://doi.org/10.1007/3-540-45116-1_21

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42103-0

  • Online ISBN: 978-3-540-45116-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics