focuses primarily on authorization and access control, and thus is
unlikely to be helpful for expressing security extensions in the
modeling of software dependability properties.
u CORAS UML Profile—Unlike UMLsec and SecureUML, the CORAS UML