书目名称 | CyberSecurity in a DevOps Environment | 副标题 | From Requirements to | 编辑 | Andrey Sadovykh,Dragos Truscan,Alessandra Bagnato | 视频video | | 概述 | Provides an overview of software security analysis in a DevOps cycle and presents latest tools and techniques.Covers several advanced topics related to automated security verification.Intended for sof | 图书封面 |  | 描述 | .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, automati | 出版日期 | Book 2024 | 关键词 | DevOps; Cybersecurity; Intrusion Detection; Requirements Engineering; Software Testing; Security-attack D | 版次 | 1 | doi | https://doi.org/10.1007/978-3-031-42212-6 | isbn_softcover | 978-3-031-42214-0 | isbn_ebook | 978-3-031-42212-6 | copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |
The information of publication is updating
|
|