Copied Secure Systems Development with UML
Secure Systems Development with UML
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. Jrjens 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, Jrjens 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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$84.99 | $84.99 |
|
$84.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Advances in Geometric Programming
$39.99
Freedom, Efficiency and Equality
$39.99
Safety in Offshore Drilling
$84.99
Sichtweisen
$64.99
Issues in the Psychology of Women
$39.99
Echoviruses and Reoviruses
$44.99
Contributions to Stock-Flow Modeling
$84.99
Neurologic and Neurodegenerative Diseases of the Larynx
$159.99
Pragmatist Philosophy and Dance
$89.99
Die Lebenssituation von Migrantinnen und Migranten in sterreich
$64.99
Fortschritte der Neuroleptanalgesie
$69.99
Introduction to Probability and Random Variables
$79.99
Cluster Analysis in Neuropsychological Research
$109.99
Chemie vermitteln
$39.99
Economic Policy in the Digital Age
$129.99
The Economics of Obesity
$109.99
Pragmemes and Theories of Language Use
$219.99
The Right to Die with Dignity
$119.99
Learning in Information-Rich Environments
$54.99
When Christmas Feels Like Home
$4.13
Elektrische Felder und Wellen / Electric Fields and Waves
$54.99
Mechanics IUTAM USNC/TAM
$54.99
Imaging of Urinary Tract Diverticula
$109.99
Numerische Strmungssimulation in der Hydrodynamik
$69.99
Thiophenes
$229.00
Back to the University's Future
$159.99
Design of Observational Studies
$169.99
Returning to Q'ero
$159.99
Mechanics of Deformable Solids
$129.99
Collaboration for Sustainability and Innovation: A Role For Sustainability Driven by the Global Sout
$109.99
Dynamics 365 Field Service
$64.99
The Rational as Reasonable
$169.00
Labour Process Theory
$179.00
Introduction to the Theory and Application of Data Envelopment Analysis
$169.00
Aktive Fahrwerkstechnik
$49.99
Simulation und Optimierung von Regelkreisen mit dem IBM AT und Kompatiblen
$84.99
A to Z Mysteries Super Edition: Operation Orca
$5.21
Computer Vision ECCV 2024
$64.99
Energieeffizienz-Benchmark Industrie
$49.99
Umwelt und Technik im Gleichklang
$54.99
