CyberSecurity in a DevOps Environment

Le livre "CyberSecurity in a DevOps Environment" offre une analyse complète de l'évaluation de la sécurité des logiciels dans le contexte du cycle DevOps. Il aborde la formalisation des exigences, la vérification et la surveillance continue des aspects de sécurité. Les auteurs présentent les dernières techniques et outils qui aident les ingénieurs et les développeurs à vérifier les exigences de sécurité des grands systèmes industriels. De plus, des méthodes novatrices sont expliquées, permettant un retour d'information plus rapide sur la vérification des activités liées à la sécurité. Les techniques traitées incluent les tests automatisés, la vérification par modèle, l'analyse statique, la surveillance en temps réel et les méthodes formelles. Le livre est divisé en trois parties, chacune couvrant différents aspects de l'ingénierie de la sécurité dans le contexte DevOps.