NLP-based Testing and Monitoring for Security Checking

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

NLP-based Testing and Monitoring for Security Checking

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

Informaatioteknologia

Tutkimustuotos: Konferenssiin myötävaikuttaminen › Tiivistelmä › Tieteellinen › vertaisarvioitu

33 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äiskieli	Englanti
Tila	Julkaistu - 2021
OKM-julkaisutyyppi	O2 Other
Tapahtuma	Proceedings 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

Konferenssi

Konferenssi	Proceedings of The 33rd IFIP International Conference on Testing Software and Systems
Lyhennettä	ICTSS
Maa/Alue	United Kingdom
Kaupunki	London
Ajanjakso	10/11/21 → …
www-osoite	http://ictss2021.cs.ucl.ac.uk/index.html

Pääsy asiakirjaan

ICTSS2021_NLPBasedtestingHyväksytty kirjoittajan käsikirjoitus, 132 KB

https://urn.fi/URN:NBN:fi-fe2023050139695

VeriDevOps: Automated Protection and Prevention to Meet Security Requirements in DevOps Environments
Truscan, D. (Vastuullinen tutkija), Porres Paltor, I. (CoPI), Ashraf, A. (Vastuullinen tutkija), Ahmad, T. (CoI), Chariyarupadannayil Sudheerbabu, G. (CoI) & Chapagain, S. (Vastuullinen tutkija)
EU Horizon 2020
01/10/20 → 31/01/24
Projekti: EU

Viittausmuodot

@conference{d0329e9aee564289840e6fa79ea541b8,

title = "NLP-based Testing and Monitoring for Security Checking",

abstract = "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.",

author = "Andrey Sadovykh and Zujany Salazar and Wissam Mallouli and Cavalli, \{Ana R.\} and Dragos Truscan and Enoiu, \{Eduard Paul\} and Rosa Iglesias and Olga Hendel",

year = "2021",

language = "English",

note = "Proceedings of The 33rd IFIP International Conference on Testing Software and Systems , ICTSS ; Conference date: 10-11-2021",

url = "http://ictss2021.cs.ucl.ac.uk/index.html",

}

TY - CONF

T1 - NLP-based Testing and Monitoring for Security Checking

AU - Sadovykh, Andrey

AU - Salazar, Zujany

AU - Mallouli, Wissam

AU - Cavalli, Ana R.

AU - Truscan, Dragos

AU - Enoiu, Eduard Paul

AU - Iglesias, Rosa

AU - Hendel, Olga

N1 - Conference code: 2021

PY - 2021

Y1 - 2021

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

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

M3 - Abstract

T2 - Proceedings of The 33rd IFIP International Conference on Testing Software and Systems

Y2 - 10 November 2021

ER -

NLP-based Testing and Monitoring for Security Checking

Abstrakti

Konferenssi

Pääsy asiakirjaan

Sormenjälki

Projektit

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

Viittausmuodot