Secure Systems Development with UML

• Κύριος συγγραφέας: Jürjens, Jan (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Θέματα: 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...

Πίνακας περιεχομένων:

• 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.