Introduction to Modeling Tools for Software Security
• SEI Report
Publisher
Software Engineering Institute
Topic or Tag
Abstract
Identifying security properties is a non-trivial undertaking within system and software requirements and design. Certain tools can aid in the modeling and analysis effort required. Some of those tools were created with security in mind; many were not but are, nevertheless, useful. This article introduces the security concepts and the kinds of tools that are useful for modeling security properties.
Cite This SEI Report
Redwine, S. (2012, June 24). Introduction to Modeling Tools for Software Security. Retrieved October 17, 2026, from https://www.sei.cmu.edu/library/introduction-to-modeling-tools-for-software-security/.
@techreport{redwine_2012,
author={Redwine, Samuel},
title={Introduction to Modeling Tools for Software Security},
month={Jun},
year={2012},
institution={Software Engineering Institute, Carnegie Mellon University},
url={https://www.sei.cmu.edu/library/introduction-to-modeling-tools-for-software-security/},
note={Accessed: 2026-Oct-17}
}
Redwine, Samuel. "Introduction to Modeling Tools for Software Security." Software Engineering Institute, Carnegie Mellon University. Software Engineering Institute, June 24, 2012. https://www.sei.cmu.edu/library/introduction-to-modeling-tools-for-software-security/.
S. Redwine, "Introduction to Modeling Tools for Software Security," Software Engineering Institute, Carnegie Mellon University. Software Engineering Institute, 24-Jun-2012 [Online]. Available: https://www.sei.cmu.edu/library/introduction-to-modeling-tools-for-software-security/. [Accessed: 17-Oct-2026].
Redwine, Samuel. "Introduction to Modeling Tools for Software Security." Software Engineering Institute, Carnegie Mellon University, Software Engineering Institute, 24 Jun. 2012. https://www.sei.cmu.edu/library/introduction-to-modeling-tools-for-software-security/. Accessed 17 Oct. 2026.
Redwine, Samuel. Introduction to Modeling Tools for Software Security. Software Engineering Institute. 2012. https://www.sei.cmu.edu/library/introduction-to-modeling-tools-for-software-security/