Maureen Harris Cheheyl, Morrie Gasser, George A. Huff, Jonathan K. Millen. Verifying Security. ACM Computing Surveys, 13(3):279-339, 1981.
@article{CheheylGHM81,
title = {Verifying Security},
author = {Maureen Harris Cheheyl and Morrie Gasser and George A. Huff and Jonathan K. Millen},
year = {1981},
tags = {security},
researchr = {https://researchr.org/publication/CheheylGHM81},
cites = {0},
citedby = {0},
journal = {ACM Computing Surveys},
volume = {13},
number = {3},
pages = {279-339},
}