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: ac 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|
|Publisher||:||Springer Science & Business Media - 2004-10-18|