Кібербезпека в середовищі DevOps: Від вимог до моніторингу

Ця книга надає огляд аналізу безпеки програмного забезпечення в циклі DevOps, включаючи вимоги формалізації, перевірки та постійного моніторингу. Він представляє огляд останніх методик та інструментів, які допомагають інженерам та розробникам перевірити секретні вимоги масштабних промислових систем та пояснюють нові методи, що дозволяють швидше за все, щоб перевірити перевірку безпеки, які покладаються на такі методи, як автоматизоване тестування, модель, статичний аналіз, моніторинг часу, що проводиться, і формальні методи. Перша частина, "вимоги безпеки", пояснює, як формально та анальні проблеми з ціною. Друга частина "Профілактика в час розвитку" пропонує практичну та промислову перспективу щодо розробки, розробки та перевірки безпечних додатків. Третя частина "Захист в операціях", врешті -решт, вводить інструменти для постійного моніторингу подій та інцидентів безпеки. В цілому він охоплює вдосконалені теми SAVERAL, пов'язані з перевіркою безпеки, такими як оптимізація заходів щодо перевірки безпеки, автоматично створення перевірених специфікацій із потреби безпеки та вразливих ситуацій та використання цих специфікацій безпеки для перевірки властивостей безпеки щодо специфікацій дизайну та генерування артефактів, таких як тестів або моніторів, які можуть бути використані подальшою в процесі DevOps. Зокрема, він призначений для архітекторів програмного забезпечення, розробників, тестерів, фахівців з безпеки та постачальників інструментів, які хочуть визначити, будувати, перевірити та перевірити безпечні програми, веб -сервіси та промислові системи.

• видавець: springer
• Рік публікації: 2023
• обкладинка: важкий
• Кількість сторінок: 324
• Розміри: 23,5 х 15,5 х 0 см
• Ілюстрації: 1 ілюстрації, чорно -білі; Xvi, 324 с. 1 ілюз.
• Мова: англійська
• ISBN: 9783031422119