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

Sample files of "Password Manager" case study:
Technical Report:
Compatible UML modeling tools:
http://www.eclipse.org/modeling/mdt/
http://www.magicdraw.com/
http://www.moskitt.org/
http://www.papyrusuml.org/
http://www.topcased.org/