Secure Systems Development with UML
-
- eBook
- ausgewählt
-
Sprache:Englisch
-
Verlag:Springer Berlin
- Springer 96,29 €
- Springer Berlin 77,99 € ausgewählt
-
Auflage:Softcover reprint of hardcover 1st edition 2005
77,99 €
UVP
117,69 €
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
13.10.2010
Abbildungen
XX, 316 p. 79 illus.
Verlag
Springer BerlinSeitenzahl
316
Maße (L/B/H)
23,5/15,5/1,9 cm
Gewicht
505 g
Auflage
Softcover reprint of hardcover 1st edition 2005
Sprache
Englisch
ISBN
978-3-642-05635-2
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 development. It uses the standard UML extension mechanisms, and can be employed to evaluate UML specifications for vulnerabilities using a formal semantics of a simplified fragment of UML. Established rules of security engineering can be encapsulated and hence made available even to developers who are not specialists in security. As one example, Jürjens uncovers a flaw in the Common Electronic Purse Specification, and proposes and verifies a correction.
With a clear separation between the general description of his approach and its mathematical foundations, the book is ideally suited both for researchers and graduate students in UML or formal methods and security, and for advanced professionals writing critical applications.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.
Kurze Frage zu unserer Seite
Vielen Dank für dein Feedback
Wir nutzen dein Feedback, um unsere Produktseiten zu verbessern. Bitte habe Verständnis, dass wir dir keine Rückmeldung geben können. Falls du Kontakt mit uns aufnehmen möchtest, kannst du dich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice