Secure Systems Development with UML

Secure Systems Development with UML

4.11 - 1251 ratings - Source

The extension UMLsec of the Unified Modeling Language for secure systems development is presented in this text. The first part is accessible to anyone with a basic background on object-oriented systems. The second part covers the mathematical tools needed to use the UMLsec approach to verify UML specifications against security requirements.Other examples for plugins include: a€c a test-sequence generation for subsystems, sequence diagrams, activity diagrams, and ... 8, and using an adversary model arising from the physical security specification given in the deployment diagramanbsp;...

Title:Secure Systems Development with UML
Author:Jan Jürjens
Publisher:Springer Science & Business Media - 2004-10-18


You Must CONTINUE and create a free account to access unlimited downloads & streaming