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.