Book: Secure Systems Development with UML

Resources for UMLsec4UML2

This web page collects a number of resources for the UMLsec4UML2-profile developed to
add support for UML2.3 to UMLsec.

UMLsec4UML2-profile (defined as a UML2.3 profile diagram):
Note that the diagram data can only be loaded using Papyrus UML.
The OCL constraints are stored in a text file so they can be evaluated separately.

Generic security components (GSCs) defined using the UMLsec4UML2-profile:

Generic security architectures (GSAs) defined using the UMLsec4UML2-profile
Note that the corresponding CSPFs are online available, too:
Security Engineering Process using Patterns (SEPP)

Sample files of "Password Manager" case study:
Technical Report:
Compatible UML modeling tools: