CyberSecurity in a DevOps Environment

Il libro "CyberSecurity in a DevOps Environment" offre un'analisi completa della valutazione della sicurezza del software nel contesto del ciclo DevOps. Tratta la formalizzazione dei requisiti, la verifica e il monitoraggio continuo degli aspetti di sicurezza. Gli autori presentano le tecniche e gli strumenti più recenti che aiutano ingegneri e sviluppatori a verificare i requisiti di sicurezza dei grandi sistemi industriali. Inoltre, vengono spiegati metodi innovativi che consentono un feedback più rapido per la verifica delle attività rilevanti per la sicurezza. Le tecniche trattate includono test automatizzati, verifica dei modelli, analisi statica, monitoraggio in tempo reale e metodi formali. Il libro è suddiviso in tre parti, ognuna delle quali copre diversi aspetti dell'ingegneria della sicurezza nel contesto DevOps.