Lawrence Snyder. On the Synthesis and Analysis of Protection Systems. In SOSP. pages 141-150, 1977.
@inproceedings{Snyder77:0,
title = {On the Synthesis and Analysis of Protection Systems},
author = {Lawrence Snyder},
year = {1977},
tags = {analysis},
researchr = {https://researchr.org/publication/Snyder77%3A0},
cites = {0},
citedby = {0},
pages = {141-150},
booktitle = {SOSP},
}