@phdthesis{Vochteloo:phd, address = {Sydney, Australia}, author = {Jerry Vochteloo}, month = jul, note = {Available from publications page at \url{http://ts.data61.csiro.au/}}, paperurl = {https://trustworthy.systems/publications/papers/Vochteloo%3Aphd.pdf}, school = {UNSW}, title = {Design, Implementation and Performance of Protection in the {Mungi} Single-Address-Space Operating System}, year = {1998} }