NLP-based Testing and Monitoring for Security Checking

Sadovykh Andrey, Zujany Salazar, Wissam Mallouli, Ana R. Cavalli, Dragos Truscan, Eduard Paul Enoiu, Rosa Iglesias, Olga Handel

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

5 Lataukset (Pure)

Abstrakti

VeriDevOps aims at bringing together fast and cost-effective
security verification through formal modelling and verification, as well as
test generation, selection, execution and analysis capabilities to enable
companies to deliver quality systems with confidence in a fast-paced
DevOps environment. Security requirements are intended to be processed
using NLP advanced algorithms in order to deliver formal specifications
of security properties to be checked during development and operation
of a system under test.
AlkuperäiskieliEnglanti
OtsikkoProceedings of The 33rd IFIP International Conference on Testing Software and Systems (ICTSS)
KustantajaSpringer
TilaHyväksytty/In press - 11 marrask. 2021
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaProceedings of The 33rd IFIP International Conference on Testing Software and Systems - Virtual, hosted by: University College London, London, United Kingdom
Kesto: 10 marrask. 2021 → …
Konferenssinumero: 2021
http://ictss2021.cs.ucl.ac.uk/index.html

Julkaisusarja

NimiLecture Notes in Computer Science
KustantajaSpringer

Konferenssi

KonferenssiProceedings of The 33rd IFIP International Conference on Testing Software and Systems
LyhennettäICTSS
Maa/AlueUnited Kingdom
KaupunkiLondon
Ajanjakso10/11/21 → …
www-osoite

Sormenjälki

Sukella tutkimusaiheisiin 'NLP-based Testing and Monitoring for Security Checking'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Viittausmuodot