Synopsis
The extension UMLsec of the Unified Modeling Language for secure systems development is presented in this text. The book is written in a way which keeps the first part accessible to anyone with a basic background on object-oriented systems. The second part covers the mathematical tools needed to use the UMLsec approach to verify UML specifications against security requirements. It can also be used as part of a general course on applying UML or on computer security. A practically relevant example is used throughout the book to demonstrate the presented methods.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Secure Systems Development with UML
Image fournie par le vendeur
Secure Systems Development With Uml
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 11863501-n
Acheter neuf
EUR 76,33
Frais de port :
EUR 2,30
Vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Secure Systems Development with UML
Edité par
Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2010
ISBN 10 : 3642056350
ISBN 13 : 9783642056352
Neuf
PAP
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur GB-9783642056352
Acheter neuf
EUR 78,71
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Secure Systems Development with UML
Edité par
Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2010
ISBN 10 : 3642056350
ISBN 13 : 9783642056352
Neuf
PAP
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur GB-9783642056352
Acheter neuf
EUR 73,03
Frais de port :
EUR 5,70
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Secure Systems Development with UML
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783642056352_new
Acheter neuf
EUR 70,61
Frais de port :
EUR 13,60
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Secure Systems Development with UML
Edité par
Springer Berlin Heidelberg, 2004
ISBN 10 : 3642056350
ISBN 13 : 9783642056352
Neuf
Paperback
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 336 pages. 9.06x6.14x0.79 inches. In Stock. This item is printed on demand. N° de réf. du vendeur __3642056350
Acheter neuf
EUR 74,13
Frais de port :
EUR 11,35
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Secure Systems Development with UML
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-GRD-9783642056352
Acheter neuf
EUR 69,69
Frais de port :
EUR 17,59
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Secure Systems Development With Uml
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 11863501-n
Acheter neuf
EUR 70,60
Frais de port :
EUR 17,03
De Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Secure Systems Development with UML
Edité par
Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2010
ISBN 10 : 3642056350
ISBN 13 : 9783642056352
Neuf
Paperback
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. 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. Softcover reprint of hardcover 1st ed. 2005. N° de réf. du vendeur LU-9783642056352
Acheter neuf
EUR 92,37
Frais de port :
Gratuit
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Secure Systems Development with UML
Edité par
Springer Berlin Heidelberg Okt 2010, 2010
ISBN 10 : 3642056350
ISBN 13 : 9783642056352
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 332 pp. Englisch. N° de réf. du vendeur 9783642056352
Acheter neuf
EUR 80,24
Frais de port :
EUR 23
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Secure Systems Development with UML
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020214946
Acheter neuf
EUR 113,59
Frais de port :
EUR 3,47
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles