187 Monika Vetterling, Guido Wimmel, and Alexander Wißpeintner, “Secure Systems Development Based
on the Common Criteria,” in Proceedings of the 10th International Symposium on the Foundations of
Software Engineering (FSE-10), 2000.
[Also of interest: Indongesit Mkpong-Ruffin and David A. Umphress, “High-Leverage Techniques for