Components + Security = OS Extensibility

Authors

Antony Edwards and Gernot Heiser

    School of Computer Science and Engineering
    UNSW,
    Sydney 2052, Australia

Abstract

Component-based programming systems have shown themselves to be a natural way of constructing extensible software. Well-defined interfaces, encapsulation, late binding and polymorphism promote extensibility, yet despite this synergy, components have not been widely employed at the systems level. This is primarily due to the failure of existing component technologies to provide the protection and performance required of systems software. In this paper we identify the requirements for a component system to support secure extensions, and describe the design of such a system on the Mungi OS.

BibTeX Entry

  @inproceedings{Edwards_Heiser_01,
    publisher        = {IEEE Computer Society Press},
    author           = {Antony Edwards and Gernot Heiser},
    title            = {{C}omponents + {S}ecurity = {OS E}xtensibility},
    address          = {Gold Coast, Australia},
    month            = {January},
    year             = {2001},
    booktitle        = {Proceedings of the 6th Australasian Computer Systems Architecture Conference},
    pages            = {27--34}
  }

Download

Served by Apache on Linux on seL4