John A. McDermid, Qi Shi. A Formal Model of Security Dependency for Analysis and Testing of Secure Systems. In CSFW. pages 188-200, 1991.
@inproceedings{McDermidS91,
title = {A Formal Model of Security Dependency for Analysis and Testing of Secure Systems},
author = {John A. McDermid and Qi Shi},
year = {1991},
tags = {testing, analysis, security},
researchr = {https://researchr.org/publication/McDermidS91},
cites = {0},
citedby = {0},
pages = {188-200},
booktitle = {CSFW},
}