Skip to main content
SpringerLink
Log in

An Object-Oriented Approach to Support System Reliability and Security

  • Conference paper
Book cover Security and Persistence

Part of the book series: Workshops in Computing ((WORKSHOPS COMP.))

Abstract

MUTABOR (Mapping Unit for The Access By Object References) is an object-oriented architecture which provides a set of mechanisms for supporting secure and reliable computing. The architecture was designed to achieve the local functionality needed to construct reliable distributed applications based on objects and atomic actions.

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. J.Arlat, M.Aguera, L.Amat, Y.Crouzet, J.-C.Fabre, J.-C.Laprie, E.Martins, D.Powell Fault Injection For Dependability Validation: A Methodology and some Applications LAAS Research Report No.89-124, Toulouse, 1989

    Google Scholar 

  2. G.T.Almes Garbage Collection in an Object-Oriented System PhD thesis, CMU,1980

    Google Scholar 

  3. V.Abrassimov, M.Rozier, M.Shapiro Generic Virtual Memory Management for Operating System Kernels Proc. 12th SOSP, Litchfield Park, Arizona, 1989

    Google Scholar 

  4. Berstis: Security and Protection of Data in the IBM System/38 Proc. of the 7th Int. Symp. on Computer Architecture, 1980

    Google Scholar 

  5. T.A.Budd Mutation Analysis: Ideas, Examples, Problems and Prospects in: B.Chandrasekaran, S.Radicci (eds.) Computer Program Testing North-Holland, Sogesta, 1981

    Google Scholar 

  6. R.P.Colwell, E.F.Gehringer, E.D.Jense Performance effects of Architectural Complexity in the Intel 432 ACM Trans.on Comp.Systems, Vol. 6,No. 3, 1988

    Article  Google Scholar 

  7. C.Cosserat A Capability Oriented Multiprocessor Operating System for Real-Time Aplications Proc. First Int. Conf. Comp. Comm., 1972

    Google Scholar 

  8. C.Czaja Entwurf eines Translation Lookaside Buffers für objektorientierte Architekturen GMD-Studie Nr. 117, Birlinghoven, 1987

    MATH  Google Scholar 

  9. R.A.DeMillo, D.S.Guindi, K.N. King An Extended Overview of the Mothra Software Testing Environment 2nd Workshop on Software Testing, Verification, and Analysis, Banff,Cananda, 1988

    Google Scholar 

  10. Dept. of Defense: Trusted Computer Evaluation Criteria DOD 5200.28-STD, Dept. of Defense, 1985

    Google Scholar 

  11. L.Gong On Security in Capability Based Systems Operating Systems Review, Vol.23, No.2, 1989

    Article  Google Scholar 

  12. A.K.Jones, RJ.Chansler, I.Durham, K.Schwans, S.R.Vegdahl StarOS, a Multiprocessor Operating System for the Support of Task Forces Proc. 7th Symp. Operating system Principles, 1979

    Google Scholar 

  13. iAPX 432 General Data Processor Architecture Ref. Manual Intel Corp., Aloha, Oregon, 1981

    Google Scholar 

  14. J. Kaiser MUTABOR, A Coprocessor Supporting Memory Management in an Object-Oriented Architecture IEEE Micro, Vol. 8, No. 5, October 1988

    Article  Google Scholar 

  15. J.L.Keedy The MONADS-PC System: A Programmer’s Overview Tech.Report No. 8/89, Bremen, 1989

    Google Scholar 

  16. R.Kröger, M.Mock, R.Schumann The RelaX Transactional Object Management System Int. Workshop on Comp. Arch, to Support Security and Persistence, Bremen, 1990

    Google Scholar 

  17. J.Kaiser, E.Nett, R.Kröger MUTABOR: A Coprocessor supporting Object-Oriented Memory Management and Error Recovery Proc. HICSS-21, Vol. 1, 1988

    Google Scholar 

  18. C.R.Landau Security in a Secure Capability-Based System Operating System Review, 1989

    Google Scholar 

  19. J.-C. Laprie Dependable Computing and Fault-Tolerance: Concepts and Terminolody Proc. FTCS-15, Ann Arbor, Michigan, June 1985 pp. 2–11

    Google Scholar 

  20. Liskov, Scheifler Guardians and Actions: Linguistic Support For Robust Distributed Programs Proc. 9th ACM Symp. on OS Principles, Bretton Woods, 1983

    Google Scholar 

  21. G. J.Myers Advances in Computer Architecture 2nd Ed., John Wiley&Sons,1982

    MATH  Google Scholar 

  22. R.M. Needham, R.D.H. Walker The Cambrigde CAP Computer and Its Protection System Proc. 6th Symp. OS Principles, 1977

    Google Scholar 

  23. P.G. Neumann On the PSOS Design Concept In: P.G.Neumann, J.A.Goguen, K.N.Levitt, P.M.Melliar-Smith, J.Meseguer, R.L.Schwartz, R.E.Shostak Technology for provable Secure Systems Final Report: PSOS Implementation Study, SRI, 1983

    Google Scholar 

  24. E.I. Organick The Multics System: An examination of its structure MIT Press, Cambridge, MA,1972

    Google Scholar 

  25. L. Robinson The HDM Handbook SRI Project 4828, June 1979

    Google Scholar 

  26. R.Rashid, A.Tevanian, M.Young, D.Young, R.Baron, D.Black, W.Boloski, J.Chew Machine-independent virtual memory management for paged uniprocessor and multiprocessor architectures IEEE Transactions on Computers, 37 (8),pp 896–908, 1988

    Article  Google Scholar 

  27. A.S.Tanenbaum, S.J.Mullender, R.van Renesse Using Sparse Capabilities in a distributed operating system Proc. 6th IEEE Int. Conf. on Distrib. Comp.Systems, Cambridge,MA, 1986

    Google Scholar 

  28. Weitek WTL7138 System Designer’s Note Weitek Corp., Sunnyvale CA, 1986

    Google Scholar 

  29. W.A.Wulf, R.Levin,S.P.Harbison HYDRA/C.mmp: An Experimental System McGraw-Hill,1981

    Google Scholar 

  30. M.Wilkes, R.Needham The Cambridge CAP Computer and its Operating System North Holland 1979

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. German National Research Center for Computer Science, Germany

    Jörg Kaiser

Authors
  1. Jörg Kaiser
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Electrical Engineering and Computer Science, University of Newcastle, 2308, NSW, Australia

    John Rosenberg BSc, PhD

  2. Faculty of Mathematics and Computer Science, University of Bremen, Bibliothekstrasse, Postfach 330440, D-2800, Bremen 33, West Germany

    J. Leslie Keedy BD, DPhil, PhD

Rights and permissions

Reprints and permissions

Copyright information

© 1990 British Computer Society

About this paper

Cite this paper

Kaiser, J. (1990). An Object-Oriented Approach to Support System Reliability and Security. In: Rosenberg, J., Keedy, J.L. (eds) Security and Persistence. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3178-6_12

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3178-6_12

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19646-4

  • Online ISBN: 978-1-4471-3178-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation