search menu icon-carat-right cmu-wordmark

Introduction to Modeling Tools for Software Security

June 2012 White Paper
Samuel T. Redwine

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

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.