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 [[electronic resource] ] : From Requirements to Monitoring / / edited by Andrey Sadovykh, Dragos Truscan, Wissam Mallouli, Ana Rosa Cavalli, Cristina Seceleanu, Alessandra Bagnato
| CyberSecurity in a DevOps Environment [[electronic resource] ] : 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 | 3-031-42212-0 |
| 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 | ||
| ||
Quality of Information and Communications Technology : 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8-11, 2021, Proceedings
| Quality of Information and Communications Technology : 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8-11, 2021, Proceedings |
| Autore | Paiva Ana C. R |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing AG, , 2021 |
| Descrizione fisica | 1 online resource (573 pages) |
| Altri autori (Persone) |
CavalliAna Rosa
Ventura MartinsPaula Pérez-CastilloRicardo |
| Collana | Communications in Computer and Information Science |
| ISBN | 3-030-85347-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996464380803316 |
|
Paiva Ana C. R
|
||
| Cham : , : Springer International Publishing AG, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Quality of Information and Communications Technology : 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8-11, 2021, Proceedings
| Quality of Information and Communications Technology : 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8-11, 2021, Proceedings |
| Autore | Paiva Ana C. R |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing AG, , 2021 |
| Descrizione fisica | 1 online resource (573 pages) |
| Altri autori (Persone) |
CavalliAna Rosa
Ventura MartinsPaula Pérez-CastilloRicardo |
| Collana | Communications in Computer and Information Science |
| ISBN | 3-030-85347-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910495175603321 |
|
Paiva Ana C. R
|
||
| Cham : , : Springer International Publishing AG, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Testing software and systems : 33rd IFIP WG 6.1 international conference, ICTSS 2021, London, UK, November 10-12, 2021, proceedings / / edited by David Clark, Hector Menendez, and Ana Rosa Cavalli
| Testing software and systems : 33rd IFIP WG 6.1 international conference, ICTSS 2021, London, UK, November 10-12, 2021, proceedings / / edited by David Clark, Hector Menendez, and Ana Rosa Cavalli |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (242 pages) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer software - Testing
Software engineering |
| ISBN | 3-031-04673-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996475772503316 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Testing software and systems : 33rd IFIP WG 6.1 international conference, ICTSS 2021, London, UK, November 10-12, 2021, proceedings / / edited by David Clark, Hector Menendez, and Ana Rosa Cavalli
| Testing software and systems : 33rd IFIP WG 6.1 international conference, ICTSS 2021, London, UK, November 10-12, 2021, proceedings / / edited by David Clark, Hector Menendez, and Ana Rosa Cavalli |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (242 pages) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer software - Testing
Software engineering |
| ISBN | 3-031-04673-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910568259603321 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Testing Software and Systems [[electronic resource] ] : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings / / edited by Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün
| Testing Software and Systems [[electronic resource] ] : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings / / edited by Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIII, 341 p. 68 illus.) |
| Disciplina | 004.620287 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer communication systems Programming languages (Electronic computers) Special purpose computers Computer logic Management information systems Computer science Software Engineering Computer Communication Networks Programming Languages, Compilers, Interpreters Special Purpose and Application-Based Systems Logics and Meanings of Programs Management of Computing and Information Systems |
| ISBN | 3-319-67549-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model based testing -- Test derivation methods -- Safety and security testing -- Test selection and quality estimation -- Testing timed and distributed systems. |
| Record Nr. | UNISA-996465979003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Testing Software and Systems [[electronic resource] ] : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings / / edited by Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün
| Testing Software and Systems [[electronic resource] ] : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings / / edited by Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIII, 341 p. 68 illus.) |
| Disciplina | 004.620287 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer communication systems Programming languages (Electronic computers) Special purpose computers Computer logic Management information systems Computer science Software Engineering Computer Communication Networks Programming Languages, Compilers, Interpreters Special Purpose and Application-Based Systems Logics and Meanings of Programs Management of Computing and Information Systems |
| ISBN | 3-319-67549-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model based testing -- Test derivation methods -- Safety and security testing -- Test selection and quality estimation -- Testing timed and distributed systems. |
| Record Nr. | UNINA-9910483327303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Tools and Methods of Program Analysis [[electronic resource] ] : 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers / / edited by Rostislav Yavorskiy, Ana Rosa Cavalli, Anna Kalenkova
| Tools and Methods of Program Analysis [[electronic resource] ] : 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers / / edited by Rostislav Yavorskiy, Ana Rosa Cavalli, Anna Kalenkova |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (X, 198 p. 68 illus., 48 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Artificial intelligence Application software Computer networks Computer science Programming languages (Electronic computers) Software Engineering Artificial Intelligence Computer and Information Systems Applications Computer Communication Networks Theory of Computation Programming Language |
| ISBN | 3-031-50423-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Contributed Papers -- Algorithm for Mapping Layout Grids in User Interfaces: Automating the “Squint Test” -- Process Mining Algorithm for Online Intrusion Detection System -- Bayesian Optimization with Time-Decaying Jitter for Hyperparameter Tuning of Neural Networks -- Investigation of the capabilities of artificial neural networks in the problem of classifying objects with dynamic features -- Analysis of Hardware-Implemented U-Net–like Convolutional Neural Networks -- Early Detection of Tasks With Uncommonly Long Run Duration in Post-Trade Systems -- Unpaired Image-to-Image Translation using Transformer-based CycleGAN -- Model-based Testing Approach for Financial Technology Platforms: An Industrial Implementation -- Searching for Deviations in Trading Systems: Combining Control-Flow and Data Perspectives -- SPIDER: Specification-based Integration Defect Revealer -- Link graph and data-driven graphs as complex networks: comparative study -- An approach to create a synthetic financial transactions dataset based on NDA-protected dataset -- Optic Flow approximated by a homogeneous, three- dimensional Point Renewal Process -- Fair Mutual Exclusion for N Processes -- Data Stream Processing in Reconciliation Testing: Industrial Experience -- Short Papers -- Detection of Flying Objects Using the YOLOv4 Convolutional Neural Network -- Modern Experiment Management Systems Architecture for Scientific Big Data -- An Approach to Modules Similarity Definition Based on the System Log Analysis. |
| Record Nr. | UNINA-9910799215703321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||