@inproceedings{SOSP-1975-Schroeder,
	author        = "Michael D. Schroeder",
	booktitle     = "{Proceedings of the Fifth Symposium on Operating System Principles}",
	doi           = "10.1145/800213.806518",
	pages         = "25--32",
	publisher     = "{ACM}",
	title         = "{Engineering a Security Kernel for Multics}",
	year          = 1975,
}