Lawrence Snyder
On the Synthesis and Analysis of Protection Systems
SOSP, 1977.
@inproceedings{SOSP-1977-Snyder,
author = "Lawrence Snyder",
booktitle = "{Proceedings of the Sixth Symposium on Operating System Principles}",
doi = "10.1145/800214.806557",
pages = "141--150",
publisher = "{ACM}",
title = "{On the Synthesis and Analysis of Protection Systems}",
year = 1977,
}