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 |
|
$76.50 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Single Cell Sequencing and Systems Immunology
$84.99
Vibration Problems ICOVP 2011
$329.99
Dimensions and Challenges of Russian Liberalism
$129.99
Herausforderung der Literaturwissenschaft: Droste-Hlshoffs 'Judenbuche'
$59.99
Modelling Human Motion
$159.99
ffentliche Unternehmen
$59.99
Challenging Popular Myths of Sex, Gender and Biology
$109.99
Guide to Internet Cryptography
$64.99
Communicating Politics Online
$119.99
Digital Interaction Hubs fr B2B-Kundeninteraktionen
$29.99
Developing Industrial Case-Based Reasoning Applications
$54.99
KRAS
$249.99
Cognitive Aspects of Bilingualism
$109.99
nderungen im Enzymmuster whrend der Samenkeimung und frhen Entwicklung des Keimlings von Hordeum
$54.99
Object-Oriented Technology: ECOOP 2001 Workshop Reader
$39.99
Cellular Manufacturing Systems
$169.99
Im Dialog ber die Vergangenheit
$34.99
Molecular Aspects of Oxidative Drug Metabolizing Enzymes
$84.99
Kompendium Kinderansthesie
$29.99
Endocrinology of EmbryoEndometrium Interactions
$39.99
Game Theory
$84.99
Everyday Enterprise Architecture
$59.99
The Palgrave Handbook of Disability and Communication
$169.00
Managing eHealth
$84.99
Wafer-Level Chip-Scale Packaging
$129.00
Managing Dynamic Networks
$109.99
Chromatographic and Membrane Processes in Biotechnology
$39.99
Rehabilitation in ambulanten Koronargruppen
$39.99
Sozialer Raum und Soziale Arbeit
$19.99
Faculty Development in the Health Professions
$249.99
Peptides
$429.00
Bas van Fraassens Approach to Representation and Models in Science
$109.99
Inorganic and Organometallic Macromolecules
$109.99
Organization Structure: Cybernetic Systems Foundation
$39.99
Experience Curve & Produktportfolio Wie berlebt mein Unternehmen?
$59.99
Singular Integral Operators
$109.99
Progress and Trends in Rheology V
$84.99
Twenty Years of Independence in Zimbabwe
$39.99
Grundlagen der Lebensmittelmikrobiologie
$44.99
Best Wishes: Time After Time
$5.21
