|
User Manuals
Here are the short online tutorials for some of the verification plugins. Choose between the older or the recent version:
If you like to know more about the tool, you can download the dissertation System security requirements verification using UMLsec by Serge Kater here.
There is also German literature which provides a good overview for the plugins. The dissertation Model-based Security Analysis for Mobile Communications: An Industrial Application of UMLsec by Peter Bartmann can be found here.
|