A secure, language independent, high performance component interface

Authors

Daniel Potts, Charles Gray, Ben Leslie and Gernot Heiser

NICTA, Sydney, Australia
UNSW, Australia

Abstract

In this paper we examine three interfaces for secure method invocation in single-address-space operating systems. We examine the advantages and drawbacks of each model, and how these models relate to linking and loading in the single address space. A model is chosen based on its ability to securely interface multiple languages with low overhead.

BibTeX Entry

  @inproceedings{Potts_GLH_04,
    author           = {Daniel Potts and Charles Gray and Ben Leslie and Gernot Heiser},
    title            = {A Secure, Language Independent, High Performance Component Interface},
    address          = {Victor Harbor, South Australia},
    month            = {January},
    year             = {2004},
    booktitle        = {Proceedings of the  Workshop on Object Systems and Software Architectures 2004}
  }

Download

Served by Apache on Linux on seL4