Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Prologue.- Walk-through: Using UML for Security.- Background.- Developing Secure Systems.- Model-based Security Engineering with UML.- Applications.- Tool Support.- Tool support for UMLsec.- A Formal Foundation.- Formal Systems Development with UML.- Epilogue.- Further Material.- Outlook.
Product Description
Book by Jrjens Jan
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Secure Systems Development With UML
Foto dell'editore
Secure Systems Development with UML
Da: AwesomeBooks, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: Very Good. Secure Systems Development with UML This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. . Codice articolo 7719-9783540007012
Compra usato
EUR 10,13
Spese di spedizione:
EUR 5,69
Da: Regno Unito a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Secure Systems Development with UML
Da: Bahamut Media, Reading, Regno Unito
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee. Codice articolo 6545-9783540007012
Compra usato
EUR 10,13
Spese di spedizione:
EUR 7,96
Da: Regno Unito a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Secure Systems Development with UML
Da: Toscana Books, AUSTIN, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Codice articolo Scanned3540007016
Compra nuovo
EUR 82,47
Spese di spedizione:
EUR 3,73
In U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Secure Systems Development with UML
Da: Solr Books, Lincolnwood, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: new. Codice articolo BCV.3540007016.N
Compra nuovo
EUR 86,21
Spese di spedizione:
EUR 6,93
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Secure Systems Development with UML
Da: BennettBooksLtd, San Diego, NV, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: New. In shrink wrap. Looks like an interesting title! Codice articolo Q-3540007016
Compra nuovo
EUR 87,31
Spese di spedizione:
EUR 6,03
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Secure Systems Development With Uml
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABNR-91181
Compra nuovo
EUR 96,38
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Secure Systems Development With Uml
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEOCT25-238737
Compra nuovo
EUR 96,38
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Secure Systems Development with UML
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020155473
Compra nuovo
EUR 104,53
Spese di spedizione:
EUR 3,46
In U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Secure Systems Development With UML
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 1707850-n
Compra nuovo
EUR 105,73
Spese di spedizione:
EUR 2,29
In U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Secure Systems Development with UML
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Codice articolo Z1-C-090-02506
Compra usato
EUR 100,85
Spese di spedizione:
EUR 12,13
Da: Regno Unito a: U.S.A.
Quantità: 2 disponibili