Chin, S.-K. (1999). High-Confidence Design for Security: Don’t Trust-Verify. Communications
of the ACM, 42, 33-37.
https://dl.acm.org/citation.cfm?doid=306549.306560
https://doi.org/10.1145/306549.306560

has been cited by the following article: