Skip to main content
SpringerLink
Log in

A Multi-OS Approach to Trusted Computer Systems

  • Conference paper
  • First Online:
Book cover Security Protocols (Security Protocols 2001)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2467))

Included in the following conference series:

  • 186 Accesses

Abstract

Trusted computer systems are becoming increasingly important in private sectors such as banking and insurance, but those currently available are inconvenient in private sectors because they were developed for use by government agencies and the military. This paper describes how a trusted system can be made from an ordinary OS for daily use and a secure OS monitoring that OS. This configuration is implemented by using the multi-OS control technique. Analysis of an example system confirms the feasibility of the proposed method and even implies that a trusted system can be implemented by having two ordinary OSs that monitor each other.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • 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.

References

  1. Deborah Russell, G.T. GangemiSr.: Computer Security Basics, O’Reilly & Associates, Inc., 1991.

    Google Scholar 

  2. Department of Defense Trusted Computer System Evaluation Criteria, Dept. of Defense, National Computer Security Center, DOD 5200.28-STD, 1985.

    Google Scholar 

  3. Trusted Network Interpretation of the TCSEC, National Computer Security Center, 1987.

    Google Scholar 

  4. ISO/IEC 15408 Information Technology-Security Technology-Evaluation Criteria for IT security, 1999.

    Google Scholar 

  5. T. Arai, T. Sekiguchi, M. Satoh, T. Inoue, T. Nakamura, H. Iwao: DARMA: Using Different OSs Concurrently based on Nano-Kernel Technology, Proc. 59th-Annual Convention of Information Processing Society of Japan, 1999.

    Google Scholar 

  6. Evaluated Product List, http://www.radium.ncsc.mil/tpep/epl/historical.html

Download references

Author information

Authors and Affiliations

  1. Systems Development Laboratory, Hitachi, Ltd., 292, Yoshida-cho, Totsuka-ku, 244-0817, Yokohama, Japan

    Hiroshi Yoshiura, Kunihiko Miyazaki, Shinji Itoh, Kazuo Takaragi & Ryoichi Sasaki

Authors
  1. Hiroshi Yoshiura
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kunihiko Miyazaki
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Shinji Itoh
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Kazuo Takaragi
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Ryoichi Sasaki
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science Faculty of Engineering and Information Sciences, University of Hertfordshire, College Lane, Hatfield, Herts, AL10 9AB, UK

    Bruce Christianson  & James A. Malcolm  & 

  2. Department of Computer Science, Vrije Universiteit, De Boelelaan 1081A, 1081, HV Amsterdam, The Netherlands

    Bruno Crispo

  3. Microsoft Research Limited, 7 J J Thomson Avenue, CB3 0FB, Cambridge, UK

    Michael Roe

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Yoshiura, H., Miyazaki, K., Itoh, S., Takaragi, K., Sasaki, R. (2002). A Multi-OS Approach to Trusted Computer Systems. In: Christianson, B., Malcolm, J.A., Crispo, B., Roe, M. (eds) Security Protocols. Security Protocols 2001. Lecture Notes in Computer Science, vol 2467. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45807-7_17

Download citation

  • DOI: https://doi.org/10.1007/3-540-45807-7_17

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-44263-9

  • Online ISBN: 978-3-540-45807-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation