UMLsec

UMLsec es una extensión del Lenguaje Unificado de Modelado (UML) para integrar información relacionada con la seguridad en las especificaciones UML. Esta información se puede utilizar para la ingeniería de seguridad basada en modelos . La mayor parte de la información de seguridad se agrega mediante estereotipos y abarca numerosas propiedades de seguridad, como el flujo seguro de información , la confidencialidad y el control de acceso . Mediante un modelo de atacante, estas propiedades se pueden verificar a nivel de modelo.

Fue propuesta por primera vez por Jürjens et al. en 2002 ^{[ 1 ]} y posteriormente revisada y ampliada por el mismo autor. ^{[ 2 ]}

UMLsec se define como una extensión ligera para UML. ^{[ 3 ]}

El perfil se define mediante un conjunto de prototipos con propiedades (definiciones de etiquetas) y restricciones. UMLsec define 21 estereotipos que se enumeran a continuación.

Para garantizar la seguridad, es necesario especificar qué tipo de atacante se asume. En UMLsec, el modelo de atacante se define a través de las amenazas que representa. La tabla a continuación define el adversario predeterminado . Por supuesto, se pueden definir otros adversarios.