Shiu-Kai Chin. High-Confidence Design for Security: Don t Trust - Verify. Communications of the ACM, 42(7):33-37, 1999. [doi]
@article{Chin99,
title = {High-Confidence Design for Security: Don t Trust - Verify},
author = {Shiu-Kai Chin},
year = {1999},
doi = {10.1145/306549.306560},
url = {http://doi.acm.org/10.1145/306549.306560},
tags = {security, design},
researchr = {https://researchr.org/publication/Chin99},
cites = {0},
citedby = {0},
journal = {Communications of the ACM},
volume = {42},
number = {7},
pages = {33-37},
}