Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
CyberSecurity in a DevOps Environment : From Requirements to Monitoring / / edited by Andrey Sadovykh, Dragos Truscan, Wissam Mallouli, Ana Rosa Cavalli, Cristina Seceleanu, Alessandra Bagnato
| CyberSecurity in a DevOps Environment : From Requirements to Monitoring / / edited by Andrey Sadovykh, Dragos Truscan, Wissam Mallouli, Ana Rosa Cavalli, Cristina Seceleanu, Alessandra Bagnato |
| Autore | Sadovykh Andrey |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (329 pages) |
| Disciplina | 005.10289 |
| Altri autori (Persone) |
TruscanDragos
MallouliWissam CavalliAna Rosa SeceleanuCristina BagnatoAlessandra |
| Soggetto topico |
Software engineering
Data protection Computer programs - Testing Cooperating objects (Computer systems) Software Engineering Data and Information Security Software Testing Cyber-Physical Systems |
| ISBN |
9783031422126
3031422120 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. . |
| Record Nr. | UNINA-9910770247303321 |
Sadovykh Andrey
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software and systems safety [[electronic resource] ] : specification and verification / / edited by Manfred Broy, Christian Leuxner and Tony Hoare
| Software and systems safety [[electronic resource] ] : specification and verification / / edited by Manfred Broy, Christian Leuxner and Tony Hoare |
| Pubbl/distr/stampa | Amsterdam, The Netherlands, : IOS Press, 2011 |
| Descrizione fisica | 1 online resource (296 p.) |
| Disciplina | 005.10289 |
| Altri autori (Persone) |
BroyManfred
LeuxnerChristian HoareA. G |
| Collana | NATO science for peace and security series. Sub-series D, Information and communication security |
| Soggetto topico |
Software protection
Computer software - Reliability Software engineering Computer security System safety |
| Soggetto genere / forma | Electronic books. |
| ISBN |
6613289604
1-283-28960-1 9786613289605 1-60750-711-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Title; Preface; Contents; Model-Based Testing; Towards a Theory of Architectural Contracts: Schemes and Patterns of Assumption/Promise Based System Specification; Engineering Evolving and Self-Adaptive Systems: An Overview; Formal Verification; Requirements Models for Critical Systems; From Concurrency Models to Numbers: Performance and Dependability; Unifying Models of Data Flow; Model-Based Verification and Analysis for Real-Time Systems; Model Checking; Subject Index; Author Index |
| Record Nr. | UNINA-9910457752903321 |
| Amsterdam, The Netherlands, : IOS Press, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software and systems safety [[electronic resource] ] : specification and verification / / edited by Manfred Broy, Christian Leuxner and Tony Hoare
| Software and systems safety [[electronic resource] ] : specification and verification / / edited by Manfred Broy, Christian Leuxner and Tony Hoare |
| Pubbl/distr/stampa | Amsterdam, The Netherlands, : IOS Press, 2011 |
| Descrizione fisica | 1 online resource (296 p.) |
| Disciplina | 005.10289 |
| Altri autori (Persone) |
BroyM. <1949->
LeuxnerChristian HoareC. A. R <1934-> (Charles Antony Richard) |
| Collana | NATO science for peace and security series. Sub-series D, Information and communication security |
| Soggetto topico |
Software protection
Computer software - Reliability Software engineering Computer security System safety |
| ISBN |
6613289604
1-283-28960-1 9786613289605 1-60750-711-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Title; Preface; Contents; Model-Based Testing; Towards a Theory of Architectural Contracts: Schemes and Patterns of Assumption/Promise Based System Specification; Engineering Evolving and Self-Adaptive Systems: An Overview; Formal Verification; Requirements Models for Critical Systems; From Concurrency Models to Numbers: Performance and Dependability; Unifying Models of Data Flow; Model-Based Verification and Analysis for Real-Time Systems; Model Checking; Subject Index; Author Index |
| Record Nr. | UNINA-9910781757703321 |
| Amsterdam, The Netherlands, : IOS Press, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||