Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: As New. Unread book in perfect condition.
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: New.
Anbieter: Basi6 International, Irving, TX, USA
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 170,70
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: ALLBOOKS1, Direk, SA, Australien
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 169,98
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 196,35
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Anbieter: California Books, Miami, FL, USA
Zustand: New.
Anbieter: Books Puddle, New York, NY, USA
Zustand: New.
Sprache: Englisch
Verlag: Springer Nature Switzerland, Springer Nature Switzerland, 2024
ISBN 10: 3031422147 ISBN 13: 9783031422140
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring. It presents an overview of the latest techniques and tools that help engineers and developers verify the security requirements of large-scale industrial systems and explains novel methods that enable a faster feedback loop for verifying security-related activities, which rely on techniques such as automated testing, model checking, static analysis, runtime monitoring, and formal methods.The book consists of three parts, each covering a different aspect of security engineering in the DevOps context. The first part, 'Security Requirements', explains how to specify and analyse security issues in a formal way. The second part, 'Prevention at Development Time', offers a practical and industrial perspective on how to design, develop and verify secure applications. The third part, 'Protection at Operations', eventually introduces tools for continuous monitoring of security events and incidents. Overall, it covers several advanced topics related to security verification, such as optimizing security verification activities, automatically creating verifiable specifications from security requirements and vulnerabilities, and using these security specifications to verify security properties against design specifications and generate artifacts such as tests or monitors that can be used later in the DevOps process.The book aims at computer engineers in general and does not require specific knowledge. In particular, it is intended for software architects, developers, testers, security professionals, and tool providers, who want to define, build, test, and verify secure applications, Web services, and industrial systems.
Sprache: Englisch
Verlag: Springer Nature Switzerland, Springer Nature Switzerland, 2023
ISBN 10: 3031422112 ISBN 13: 9783031422119
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring. It presents an overview of the latest techniques and tools that help engineers and developers verify the security requirements of large-scale industrial systems and explains novel methods that enable a faster feedback loop for verifying security-related activities, which rely on techniques such as automated testing, model checking, static analysis, runtime monitoring, and formal methods.The book consists of three parts, each covering a different aspect of security engineering in the DevOps context. The first part, 'Security Requirements', explains how to specify and analyse security issues in a formal way. The second part, 'Prevention at Development Time', offers a practical and industrial perspective on how to design, develop and verify secure applications. The third part, 'Protection at Operations', eventually introduces tools for continuous monitoring of security events and incidents. Overall, it covers several advanced topics related to security verification, such as optimizing security verification activities, automatically creating verifiable specifications from security requirements and vulnerabilities, and using these security specifications to verify security properties against design specifications and generate artifacts such as tests or monitors that can be used later in the DevOps process.The book aims at computer engineers in general and does not require specific knowledge. In particular, it is intended for software architects, developers, testers, security professionals, and tool providers, who want to define, build, test, and verify secure applications, Web services, and industrial systems.
Anbieter: UK BOOKS STORE, London, LONDO, Vereinigtes Königreich
EUR 300,70
Anzahl: 2 verfügbar
In den WarenkorbZustand: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-12 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2024
ISBN 10: 3031422112 ISBN 13: 9783031422119
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 300,61
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 324 pages. 9.25x6.25x1.00 inches. In Stock.
Sprache: Englisch
Verlag: Springer Nature Switzerland, 2023
ISBN 10: 3031422112 ISBN 13: 9783031422119
Anbieter: preigu, Osnabrück, Deutschland
Buch. Zustand: Neu. CyberSecurity in a DevOps Environment | From Requirements to Monitoring | Andrey Sadovykh (u. a.) | Buch | xvi | Englisch | 2023 | Springer Nature Switzerland | EAN 9783031422119 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
Sprache: Englisch
Verlag: Springer Nature Switzerland, 2024
ISBN 10: 3031422147 ISBN 13: 9783031422140
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. CyberSecurity in a DevOps Environment | From Requirements to Monitoring | Andrey Sadovykh (u. a.) | Taschenbuch | xvi | Englisch | 2024 | Springer Nature Switzerland | EAN 9783031422140 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 286,84
Anzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND.