This document is part of the US-CERT website archive. These documents are no longer updated and may contain outdated information. Links may also no longer function. Please contact email@example.com if you have any questions about the US-CERT website archive.
Models are essential in software engineering. A model is an abstract representation of an object. We might model the decomposition of a system into components and their dependencies. A model can demonstrate the consistency of the system specifications or be a predictor of system behavior. The analysis of system performance in data throughput or computation efficiency so as to meet critical real-time performance requirements depends on modeling that aspect of system behavior.
Increasingly, models are being used for security analysis. This content area provides an introduction to modeling in the context of security analysis and discusses how tools can support security analysis during development.