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 development.
Produktinformation
Utgivningsdatum:2010-10-13
Mått:155 x 235 x 23 mm
Vikt:522 g
Format:Häftad
Språk:Engelska
Antal sidor:316
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
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.