A threat-driven approach to modeling and verifying secure software

Dianxiang Xu, Kendall E. Nygard. A threat-driven approach to modeling and verifying secure software. In David F. Redmiles, Thomas Ellman, Andrea Zisman, editors, 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA. pages 342-346, ACM, 2005. [doi]

Authors

Dianxiang Xu

This author has not been identified. Look up 'Dianxiang Xu' in Google

Kendall E. Nygard

This author has not been identified. It may be one of the following persons: Look up 'Kendall E. Nygard' in Google