Bruce J. Walker, Richard A. Kemmerer, Gerald J. Popek
Specification and Verification of the UCLA Unix Security Kernel
SOSP, 1979.
@inproceedings{SOSP-1979-WalkerKP,
author = "Bruce J. Walker and Richard A. Kemmerer and Gerald J. Popek",
booktitle = "{Proceedings of the Seventh Symposium on Operating System Principles}",
doi = "10.1145/800215.806571",
isbn = "0-89791-009-5",
note = "long version: CACM 23(2)",
pages = "64--65",
publisher = "{ACM}",
title = "{Specification and Verification of the UCLA Unix Security Kernel}",
year = 1979,
}