Secure Systems Development with UML

• Main Author: Jürjens, Jan (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Subjects: Computer science.; Software engineering.; Computer security.; Management information systems.; Computer Science.; Systems and Data Security.; Software Engineering.; Management of Computing and Information Systems.

Attacks against computer systems can cause considerable economic or physical damage. High-quality development of security-critical systems is difficult, mainly because of the conflict between development costs and verifiable correctness. Jürjens presents the UML extension UMLsec for secure systems d...

Table of Contents:

• Prologue
• Walk-through: Using UML for Security
• Background
• Developing Secure Systems
• Model-based Security Engineering with UML
• Applications
• Tool Support
• Tool support for UMLsec
• A Formal Foundation
• Formal Systems Development with UML
• Epilogue
• Further Material
• Outlook.