Bemærk: Kan leveres før jul.
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.