תמונות העטיפה

CyberSecurity in a DevOps Environment From Requirements to Monitoring /

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...

תיאור מלא

שמור ב:
מידע ביבליוגרפי
מחבר תאגידי: SpringerLink (Online service)
מחברים אחרים: Sadovykh, Andrey (Editor), Truscan, Dragos (Editor), Mallouli, Wissam (Editor), Cavalli, Ana Rosa (Editor), Seceleanu, Cristina (Editor), Bagnato, Alessandra (Editor)
פורמט: אלקטרוני ספר אלקטרוני
שפה:אנגלית
יצא לאור: Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
מהדורה:1st ed. 2024.
נושאים:
Software engineering.
Data protection.
Computer programs > Testing.
Cooperating objects (Computer systems).
Software Engineering.
Data and Information Security.
Software Testing.
Cyber-Physical Systems.
גישה מקוונת:https://doi.org/10.1007/978-3-031-42212-6
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
תוכן הענינים:
  • 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. .

פריטים דומים