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
Utgivningsdatum2010-10-13
Mått155 x 235 x 23 mm
Vikt522 g
FormatHäftad
SpråkEngelska
Antal sidor316
FörlagSpringer-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.