Trustworthy Systems

Secure OS extensibility needn't cost an arm and a leg

Authors

Antony Edwards and Gernot Heiser

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

Abstract

This position paper makes the claim that secure extensibility of operating systems is not only desirable but also achievable. We claim that OS extensibility should be done at user-level to avoid the security problems inherent in other approaches. We furthermore claim (backed up by some initial results) that user-level extensibility is possible at a performance that is similar to in-kernel extensions. Finally, user-level extensions allow the use of modern software engineering techniques.

BibTeX Entry

  @inproceedings{Edwards_Heiser_01a,
    month            = may,
    paperurl         = {https://trustworthy.systems/publications/papers/Edwards_Heiser_01a.pdf},
    booktitle        = {Proceedings of the 8th Workshop on Hot Topics in Operating Systems (HotOS)},
    author           = {Antony Edwards and Gernot Heiser},
    year             = {2001},
    address          = {Schloss Elmau, Germany},
    pages            = {168},
    title            = {Secure {OS} Extensibility Needn't Cost an Arm and a Leg}
  }

Download