search menu icon-carat-right cmu-wordmark

Introduction to Modeling Tools for Software Security

White Paper
In this paper, Samuel Redwine introduces security concepts and tools useful for modeling security properties.

Software Engineering Institute


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.