VeriDevOps: Automated Protection and Prevention to Meet Security Requirements in DevOps

Andrey Sadovykh, Gunnar Widforss, Dragos Truscan, Eduard Paul Enoiu, Wissam Mallouli, Rosa Iglesias, Alessandra Bagnto, Olga Hendel

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Abstrakti

Current software development practices are increasingly based on using both COTS and legacy components which make such systems prone to security vulnerabilities. The modern practice addressing ever changing conditions, DevOps, promotes frequent software deliveries, however, verification methods artifacts should be updated in a timely fashion to cope with the pace of the process. VeriDevOps, Horizon 2020 project, aims at providing a faster feedback loop for verifying the security requirements and other quality attributes of large scale cyber-physical systems. VeriDevOps focuses on optimizing the security verification activities, by automatically creating verifiable models directly from security requirements formulated in natural language, using these models to check security properties on design models and then generating artefacts such as, tests or monitors that can be used later in the DevOps process. The main drivers for these advances are: Natural Language Processing, a combined formal verification and model-based testing approach, and machine-learning-based security monitors. VeriDevOps is in its initial stage - the project started on 1.10.2020 and it will run for three years. In this paper we will present the major conceptual ideas behind the project approach as well as the organizational settings.

AlkuperäiskieliEnglanti
OtsikkoProceedings of the 2021 Design, Automation and Test in Europe, DATE 2021
Kustantajathe Institute of Electrical and Electronics Engineers, Inc.
Sivut1330-1333
Sivumäärä4
ISBN (elektroninen)978-3-9819263-5-4
ISBN (painettu)978-1-7281-6336-9
DOI - pysyväislinkit
TilaJulkaistu - 1 helmikuuta 2021
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaDesign, Automation and Test in Europe Conference and Exhibition -
Kesto: 1 helmikuuta 20215 helmikuuta 2021

Julkaisusarja

NimiProceedings -Design, Automation and Test in Europe, DATE
Vuosikerta2021-February
ISSN (painettu)1530-1591

Konferenssi

KonferenssiDesign, Automation and Test in Europe Conference and Exhibition
LyhennettäDATE
Ajanjakso01/02/2105/02/21

Sormenjälki

Sukella tutkimusaiheisiin 'VeriDevOps: Automated Protection and Prevention to Meet Security Requirements in DevOps'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Viittausmuodot