CyberSecurity in a DevOps Environment [E-Book] : From Requirements to Monitoring / edited by Andrey Sadovykh, Dragos Truscan, Wissam Mallouli, Ana Rosa Cavalli, Cristina Seceleanu, Alessandra Bagnato.
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 i...
Saved in:
Full text |
|
Personal Name(s): | Bagnato, Alessandra, editor |
Cavalli, Ana Rosa, editor / Mallouli, Wissam, editor / Sadovykh, Andrey, editor / Seceleanu, Cristina, editor / Truscan, Dragos, editor | |
Edition: |
1st edition 2024. |
Imprint: |
Cham :
Springer,
2024
|
Physical Description: |
XVI, 324 pages 1 illustration (online resource) |
Note: |
englisch |
ISBN: |
9783031422126 |
DOI: |
10.1007/978-3-031-42212-6 |
Subject (LOC): |
- Part I: Security Requirements Engineering
- 1. A Taxonomy of Vulnerabilities, Attacks, and Security Solutions in Industrial PLCs
- 2. Natural Language Processing with Machine Learning for Security Requirements Analysis - Practical Approaches
- 3. Security Requirements Formalisation with RQCODE
- Part II: Prevention at Development Time
- 4. Vulnerability Detection and Response: Current Status and New Approaches
- 5. Metamorphic Testing for Verification and Fault Localization in Industrial Control Systems
- 6. Interactive Application Security Testing with Hybrid Fuzzing and Statistical Estimators
- Part III: Protection at Operations
- 7. CTAM: a tool for Continuous Threat Analysis and Management
- 8. EARLY - a tool for real-time security attack detection
- 9. A Stream-Based Approach to Intrusion Detection
- 10. Towards Anomaly Detection using Explainable AI. .