@inproceedings{SOSP-1983-Silverman,
	author        = "Jonathan M. Silverman",
	booktitle     = "{Proceedings of the Ninth ACM Symposium on Operating System Principles}",
	doi           = "10.1145/800217.806623",
	isbn          = "0-89791-115-6",
	pages         = "143--154",
	publisher     = "{ACM}",
	title         = "{Reflections on the Verification of the Security of an Operating System Kernel}",
	year          = 1983,
}