@inproceedings{Vochteloo_RH_93,
    address          = {Asheville, NC, USA},
    author           = {Jerry Vochteloo and Stephen Russell and Gernot Heiser},
    booktitle        = {Proceedings of the 3rd IEEE International Workshop on Object Orientation in Operating Systems
                        (IWOOOS)},
    month            = dec,
    noeditor         = {Luis-Felipe Cabrera and Norman Hutchinson},
    pages            = {108--15},
    paperurl         = {https://trustworthy.systems/publications/papers/Vochteloo_RH_93.pdf},
    title            = {Capability-Based Protection in the {Mungi} Operating System},
    year             = {1993}
  }