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.
Jurjens 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, Jurjens 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."
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!