High-quality development of security-critical systems is difficult, mainly because of the conflict between development costs and verifiable correctness.
Jurjens presents the UML extension UMLsec for secure systems development.
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co.
KG Author(s): Jan Jurjens Illustration(s): 79 Illustrations, black and white; XX, 316 p.
79 illus.
Number of pages: 316 Publication date: 2010 Dimensions: 156 x 234 x 23 Cover type: Paperback / softback.
| Publisher | Springerverlag |
|---|---|
| Author(s) | Jan |
| Illustration(s) | 79 |
| Number of pages | 316 |
| Publication date | 2010 |
| Dimensions | 156 x 234 x 23 |
| Cover type | Paperback softback |
Springer-verlag Berlin And Heidelberg Gmbh & Co. K Secure systems development with uml. softcover reprint of hardcover 1st ed. 2005, paperback/jan jurjens
